From 1ed120f569467ae4b2ea8eef8b5013b966478514 Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Tue, 23 Apr 2024 08:37:40 -0700 Subject: [PATCH] Added more whitespace tests --- examples/tests.modal | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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)