From f25d35decf1ae8f7f65729432005f1c5aba79066 Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Mon, 15 Apr 2024 20:13:08 -0700 Subject: [PATCH] Expanded tests --- examples/tests.modal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/examples/tests.modal b/examples/tests.modal index 03a3027..fdb8b22 100644 --- a/examples/tests.modal +++ b/examples/tests.modal @@ -28,6 +28,12 @@ dup (abc) (abc abc) test swap (abc def) (def abc) test compare (abc abc abc) (#t) test +?(?-) (Empty register replacement) + +<> (replace-empty ?x) (?y) + +replace-empty abc = ?y test + ?(?-) (Lambdas) ?((?x) ((?x ?x) =)) abc (abc abc) test