- Added thunks (lazy evaluation).

2 files changed, 30 insertions, 0 deletions

diff --git a/stdlib/test/test/lux/codata/thunk.lux b/stdlib/test/test/lux/codata/thunk.lux
new file mode 100644
index 000000000..b8ddee578
--- /dev/null
+++ b/stdlib/test/test/lux/codata/thunk.lux
@@ -0,0 +1,29 @@
+##  Copyright (c) Eduardo Julian. All rights reserved.
+##  This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+##  If a copy of the MPL was not distributed with this file,
+##  You can obtain one at http://mozilla.org/MPL/2.0/.
+
+(;module:
+  lux
+  (lux [io]
+       (control monad)
+       (codata ["&" thunk])
+       pipe
+       ["R" random])
+  lux/test)
+
+(test: "Thunks"
+  [left R;nat
+   right R;nat
+   #let [thunk (&;freeze (n.* left right))
+         expected (n.* left right)]]
+  ($_ seq
+      (assert "Thunking does not alter the expected value."
+              (n.= expected
+                   (&;thaw thunk)))
+      (assert "Thunks only evaluate once."
+              (and (not (is expected
+                            (&;thaw thunk)))
+                   (is (&;thaw thunk)
+                       (&;thaw thunk))))
+      ))
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index d6a21cae4..e30a8cf0a 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -20,6 +20,7 @@
              (codata ["_;" cont]
                      ["_;" env]
                      ["_;" state]
+                     ["_;" thunk]
                      (coll ["_;" stream]))
              (concurrency ["_;" actor]
                           ["_;" atom]