From 324735710b66f16da5e9703b8a077124efa79316 Mon Sep 17 00:00:00 2001
From: Kacper Marzecki <kacper-marzecki@github.com>
Date: Tue, 24 Jun 2025 01:06:40 +0200
Subject: [PATCH] checkpoint sleep

---
 new.exs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/new.exs b/new.exs
index 2b2c5d0..7c42fa0 100644
--- a/new.exs
+++ b/new.exs
@@ -3652,8 +3652,8 @@ defmodule Tdd.CompilerAdvancedTests do
 
     test_subtype("[] <: list_of(integer)", true, {:literal, []}, int_list)
     test_subtype("cons(1, []) <: list_of(integer)", true, {:cons, {:literal, 1}, {:literal, []}}, int_list)
-    test_subtype("cons(:a, []) <: list_of(integer)", false, {:cons, {:literal, :a}, {:literal, []}}, int_list)
-    test_subtype("cons(1, cons(:a, [])) <: list_of(integer)", false, {:cons, {:literal, 1}, {:cons, {:literal, :a}, {:literal, []}}}, int_list)
+    test_subtype("cons(:a, []) !<: list_of(integer)", false, {:cons, {:literal, :a}, {:literal, []}}, int_list)
+    test_subtype("cons(1, cons(:a, [])) !<: list_of(integer)", false, {:cons, {:literal, 1}, {:cons, {:literal, :a}, {:literal, []}}}, int_list)
 
 
     # --- Section: Explicit μ-types ---
@@ -3671,10 +3671,10 @@ defmodule Tdd.CompilerAdvancedTests do
     test("Explicit mu-type (atom tree) compiles", true, is_integer(_tree_tdd_id))
 
     # An instance of the tree
-    simple_tree_instance = {:tuple, [:a, leaf_node, leaf_node]}
+    simple_tree_instance = {:tuple, [{:literal, :a }, leaf_node, leaf_node]}
     test_subtype("Simple atom tree instance <: AtomTree", true, simple_tree_instance, tree_spec)
 
-    non_tree_instance = {:tuple, [123, leaf_node, leaf_node]} # Integer instead of atom
+    non_tree_instance = {:tuple, [{:literal, 123 }, leaf_node, leaf_node]} # Integer instead of atom
     test_subtype("Non-atom tree instance </: AtomTree", false, non_tree_instance, tree_spec)
     
     # Mutual recursion: Even = μE. (zero | Odd-1), Odd = μO. (Even-1) - Simplified to just Even/Odd states