From 909bc37ba2b96f12eb1eeb0ebed87994a46beb43 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 29 Jul 2017 10:50:20 -0400
Subject: - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to
 lux/data/lazy.

---
 stdlib/source/lux/control/thunk.lux | 33 ---------------------------------
 stdlib/source/lux/data/lazy.lux     | 34 ++++++++++++++++++++++++++++++++++
 2 files changed, 34 insertions(+), 33 deletions(-)
 delete mode 100644 stdlib/source/lux/control/thunk.lux
 create mode 100644 stdlib/source/lux/data/lazy.lux

(limited to 'stdlib/source')

diff --git a/stdlib/source/lux/control/thunk.lux b/stdlib/source/lux/control/thunk.lux
deleted file mode 100644
index a78f78023..000000000
--- a/stdlib/source/lux/control/thunk.lux
+++ /dev/null
@@ -1,33 +0,0 @@
-(;module:
-  lux
-  (lux [io]
-       (control monad)
-       (concurrency ["A" atom])
-       [macro]
-       (macro ["s" syntax #+ syntax:])))
-
-(type: #export (Thunk a)
-  (-> [] a))
-
-(def: #hidden (freeze' generator)
-  (All [a] (-> (-> [] a) (-> [] a)))
-  (let [cache (: (A;Atom (Maybe ($ +0)))
-                 (A;atom #;None))]
-    (function [_]
-      (case (io;run (A;get cache))
-        (#;Some value)
-        value
-
-        _
-        (let [value (generator [])]
-          (exec (io;run (A;compare-and-swap _ (#;Some value) cache))
-            value))))))
-
-(syntax: #export (freeze expr)
-  (do @
-    [g!arg (macro;gensym "")]
-    (wrap (list (` (freeze' (function [(~ g!arg)] (~ expr))))))))
-
-(def: #export (thaw thunk)
-  (All [a] (-> (Thunk a) a))
-  (thunk []))
diff --git a/stdlib/source/lux/data/lazy.lux b/stdlib/source/lux/data/lazy.lux
new file mode 100644
index 000000000..1f4566eee
--- /dev/null
+++ b/stdlib/source/lux/data/lazy.lux
@@ -0,0 +1,34 @@
+(;module:
+  lux
+  (lux [io]
+       (control monad)
+       (concurrency ["A" atom])
+       [macro]
+       (macro ["s" syntax #+ syntax:])
+       (type model)))
+
+(model: #export (Lazy a)
+  (-> [] a)
+
+  (def: #hidden (freeze' generator)
+    (All [a] (-> (-> [] a) (Lazy a)))
+    (let [cache (: (A;Atom (Maybe ($ +0)))
+                   (A;atom #;None))]
+      (@model (function [_]
+                (case (io;run (A;get cache))
+                  (#;Some value)
+                  value
+
+                  _
+                  (let [value (generator [])]
+                    (exec (io;run (A;compare-and-swap _ (#;Some value) cache))
+                      value)))))))
+
+  (def: #export (thaw l-value)
+    (All [a] (-> (Lazy a) a))
+    ((@repr l-value) [])))
+
+(syntax: #export (freeze expr)
+  (do @
+    [g!_ (macro;gensym "_")]
+    (wrap (list (` (freeze' (function [(~ g!_)] (~ expr))))))))
-- 
cgit v1.2.3