From 9295a4d2b4d905d3654cec2f8fd84893aaef8b97 Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Sat, 20 Apr 2024 12:38:05 -0700 Subject: [PATCH] Added tests --- examples/tests.modal | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/examples/tests.modal b/examples/tests.modal index 7a1698f..d2a891d 100644 --- a/examples/tests.modal +++ b/examples/tests.modal @@ -39,6 +39,18 @@ compare (abc abc abc) (#t) test replace-empty abc = ?y test +?(?-) (Connecting register output) + +<> (connect ?x ?y ?z) (?x-?y?z) + +connect foo bar baz = foo-barbaz test + +?(?-) (Inline register) + +<> inline?register ERROR + +(inline egister) = (inline egister) test + ?(?-) (Guards setups) <> (join (String ?x) (String ?y)) ((?x ?y) =)