kacper/elipl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

checkpoint sleep

Browse Source
This commit is contained in:
Kacper Marzecki 2025-06-24 01:06:40 +02:00
parent 439747daf0
commit 324735710b
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
new.exs
View File

@ -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