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

Added tests

This commit is contained in:
Devine Lu Linvega 2024-04-27 11:55:32 -07:00
parent 2ba7085bfb
commit b0f9ba84e3
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
examples/tests.modal
View File

@ -86,6 +86,15 @@ abc ?(?x) def = abc (lambda 2) test
reverse (modal) = ladom (reverse 1) test reverse (modal) = ladom (reverse 1) test
?(?-) (Incomplete definitions)
<> (incomplete-basic)
<> (incomplete-reg ?x)
<> (waste-rule) *
(incomplete-basic) = () (incomplete 1) test
(incomplete-reg abcdef) = () (incomplete 2) test
?(?-) (Inline rules) ?(?-) (Inline rules)
<> ((?x -> ?y)) (<> ?x ?y) <> ((?x -> ?y)) (<> ?x ?y)