diff --git a/examples/tests.modal b/examples/tests.modal index 2c22a40..67dee5a 100644 --- a/examples/tests.modal +++ b/examples/tests.modal @@ -1,5 +1,7 @@ ?(?-) (This example tests various aspects of the implementation.) +<> (ghost) () + ?(?-) (Whitespace) (a b c ) = (a b c) test @@ -7,6 +9,11 @@ ( 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) <> ((?x -> ?y)) (<> ?x ?y) @@ -18,7 +25,6 @@ nap tap test <> (?x rightless/pop) <> (?x pop) () -<> (ghost) () <> (prefix/pop ?x) (ok) <> (?x suffix/pop) (ok)