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

Added a test for self-erasing token

This commit is contained in:
Devine Lu Linvega 2024-04-17 11:49:32 -07:00
parent 7a93de35ad
commit 21782ba7ba
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
examples/tests.modal
View File

@ -1,9 +1,5 @@
?(?-) (This example tests various aspects of the implementation.) ?(?-) (This example tests various aspects of the implementation.)
<> (?: print) (?:)
<> (?x = ?x test) (#ok)
<> (?x = ?y test) (#fail)
?(?-) (Inline rules) ?(?-) (Inline rules)
<> ((?x -> ?y)) (<> ?x ?y) <> ((?x -> ?y)) (<> ?x ?y)
@ -19,7 +15,7 @@ nap tap test
abc def pop-plain = abc test abc def pop-plain = abc test
abc def pop = abc test abc def pop = abc test
(ghost) = () (ghost) = () test
?(?-) (Basic replacements) ?(?-) (Basic replacements)
@ -68,6 +64,12 @@ explode (12 34 45) (12 (34 (45 ()))) test
implode (b (a (t ()))) bat test implode (b (a (t ()))) bat test
implode (12 (34 (56 ()))) 123456 test implode (12 (34 (56 ()))) 123456 test
?(?-) (Test Primitives)
<> (?: print) (?:)
<> (?x = ?x test) (#ok)
<> (?x = ?y test) (#fail)
?(?-) (List reversal) ?(?-) (List reversal)
<> (reverse List () ?^) (?^) <> (reverse List () ?^) (?^)
@ -75,3 +77,4 @@ implode (12 (34 (56 ()))) 123456 test
<> (reverse List (?x ?y) ?z) (reverse List ?y (?x ?z)) <> (reverse List (?x ?y) ?z) (reverse List ?y (?x ?z))
reverse (modal) = ladom test reverse (modal) = ladom test