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

Added more whitespace tests

This commit is contained in:
Devine Lu Linvega 2024-04-23 08:37:40 -07:00
parent bb58d295fd
commit 1ed120f569
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
examples/tests.modal
View File

@ -1,5 +1,7 @@
?(?-) (This example tests various aspects of the implementation.) ?(?-) (This example tests various aspects of the implementation.)
<> (ghost) ()
?(?-) (Whitespace) ?(?-) (Whitespace)
(a b c ) = (a b c) test (a b c ) = (a b c) test
@ -7,6 +9,11 @@
( a b c ) = (a b c) test ( a b c ) = (a b c) test
(a b c ( a b c ) ) = (a b c (a b c)) test (a b c ( a b c ) ) = (a b c (a b c)) test
(ab cd () ghost) = (ab cd ()) test
(ab cd ghost ()) = (ab cd ()) test
(ab ghost cd ()) = (ab cd ()) test
(ghost ab cd ()) = (ab cd ()) test
?(?-) (Inline rules) ?(?-) (Inline rules)
<> ((?x -> ?y)) (<> ?x ?y) <> ((?x -> ?y)) (<> ?x ?y)
@ -18,7 +25,6 @@ nap tap test
<> (?x rightless/pop) <> (?x rightless/pop)
<> (?x pop) () <> (?x pop) ()
<> (ghost) ()
<> (prefix/pop ?x) (ok) <> (prefix/pop ?x) (ok)
<> (?x suffix/pop) (ok) <> (?x suffix/pop) (ok)