From bb58d295fdacbba447a1852fb72e67604820b8ec Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Tue, 23 Apr 2024 08:21:35 -0700 Subject: [PATCH] Added tests for whitespace --- examples/tests.modal | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/examples/tests.modal b/examples/tests.modal index 77866f2..2c22a40 100644 --- a/examples/tests.modal +++ b/examples/tests.modal @@ -1,5 +1,12 @@ ?(?-) (This example tests various aspects of the implementation.) +?(?-) (Whitespace) + +(a b c ) = (a b c) test +( 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 + ?(?-) (Inline rules) <> ((?x -> ?y)) (<> ?x ?y) @@ -90,4 +97,4 @@ implode (12 (34 (56 ()))) 123456 test <> (reverse (?*)) (reverse List (?*) ()) <> (reverse List (?x ?y) ?z) (reverse List ?y (?x ?z)) -reverse (modal) = ladom test +reverse (modal) = ladom test \ No newline at end of file