From 75111332a9d1f3038dd686ca7f7ba75300ea1022 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 25 Jan 2017 20:31:39 -0400
Subject: - Added thunks (lazy evaluation).

---
 stdlib/test/test/lux/codata/thunk.lux | 29 +++++++++++++++++++++++++++++
 stdlib/test/tests.lux                 |  1 +
 2 files changed, 30 insertions(+)
 create mode 100644 stdlib/test/test/lux/codata/thunk.lux

(limited to 'stdlib/test')

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]
-- 
cgit v1.2.3