d6
/
modal
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Do not use # for true/false

This commit is contained in:
Devine Lu Linvega 2024-05-24 19:10:13 -07:00
parent 89f393e349
commit da91bc0aed
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
examples/tests.modal
View File

@ -2,7 +2,7 @@
?(?-) (Early Test Primitives)
<> (?x = ?x ?n test) (?(?: ?:) (#pass ?n\n))
<> (?x = ?x ?n test) (?(?: ?:) (pass ?n\n))
<> (ghost) ()
@ -36,15 +36,17 @@
<> (dup (?x)) (?x ?x)
<> (swap (?x ?y)) (?y ?x)
<> (compare (?x ?x ?x)) (#t)
<> (compare (?x ?x ?x)) (@t)
<> (compare (?x ?y ?z)) (@f)
<> (rotate (?x (?y (?z)))) (?y (?z (?x)))
<> (unused ?x) ?y
(dup (abc)) = (abc abc) (basic 1/5) test
(swap (abc def)) = (def abc) (basic 2/5) test
(compare (abc abc abc)) = (#t) (basic 3/5) test
(rotate (abc (def (ghi)))) = (def (ghi (abc))) (basic 4/5) test
(unused hey) = (?y) (basic 5/5) test
(dup (abc)) = (abc abc) (basic 1/6) test
(swap (abc def)) = (def abc) (basic 2/6) test
(compare (abc abc abc)) = (@t) (basic 3/6) test
(compare (abc abc def)) = (@f) (basic 4/6) test
(rotate (abc (def (ghi)))) = (def (ghi (abc))) (basic 5/6) test
(unused hey) = (?y) (basic 6/6) test
?(?-) (Substring registers)
@ -142,5 +144,5 @@ reverse (modal) = ladom (reverse 1) test
?(?-) (Late Test Primitives)
<> (?x = ?y ?n test) (?(?: ?:) (#fail ?n found: ?x expect: ?y\n))
<> (?x = ?y ?n test) (?(?: ?:) (fail ?n found: ?x, expects: ?y\n))