From bba047ae945ae7d7899d6e2c1610923bcedb0442 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Mon, 5 Dec 2022 12:42:21 +0200 Subject: Implement purity checking --- examples/purity-test.lisp | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 examples/purity-test.lisp (limited to 'examples/purity-test.lisp') diff --git a/examples/purity-test.lisp b/examples/purity-test.lisp new file mode 100644 index 0000000..31e82d3 --- /dev/null +++ b/examples/purity-test.lisp @@ -0,0 +1,20 @@ +(let! f (\[x] x)) +(f 10) + +(let! g! (\![x] (print! x))) +(g! "foo") + +(let! h (\[x] (g! x))) +(h "bar") + +(let! main! (\![] + (print! (fmt "{0}\n" ["main"])) + )) + +(main!) + +(let! pure-main (\[] + (print! (fmt "{0}\n" ["pure-main"])) + )) + +(pure-main) -- cgit v1.3