Now implementing box functionality in stdlib instead of the compiler.

8 files changed, 0 insertions, 203 deletions

diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux
index 91a95d2f9..b140a11eb 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux
@@ -301,27 +301,6 @@
           (install "exit" (unary runtimeT.io//exit))
           (install "current-time" (nullary (function (_ _) (runtimeT.io//current-time runtimeT.unit)))))))
 
-## [[Box]]
-(def: box//new
-  Unary
-  (|>> (list) _.vector))
-
-(def: (box//read box)
-  Unary
-  (_.svref box (_.int 0)))
-
-(def: (box//write [valueO boxO])
-  Binary
-  (runtimeT.box//write valueO boxO))
-
-(def: box-procs
-  Bundle
-  (<| (prefix "box")
-      (|> (dict.new text.Hash<Text>)
-          (install "new" (unary box//new))
-          (install "read" (unary box//read))
-          (install "write" (binary box//write)))))
-
 ## [Bundles]
 (def: #export procedures
   Bundle
@@ -332,5 +311,4 @@
           (dict.merge frac-procs)
           (dict.merge text-procs)
           (dict.merge io-procs)
-          (dict.merge box-procs)
           )))
diff --git a/new-luxc/source/luxc/lang/translation/js/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/js/procedure/common.jvm.lux
index 0efdedd4c..641eb9e02 100644
--- a/new-luxc/source/luxc/lang/translation/js/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/js/procedure/common.jvm.lux
@@ -286,19 +286,6 @@
   Nullary
   (frac//to-int "(new Date()).getTime()"))
 
-## [[Box]]
-(def: (box//new initJS)
-  Unary
-  (format "[" initJS "]"))
-
-(def: (box//read boxJS)
-  Unary
-  (format "(" boxJS ")[0]"))
-
-(def: (box//write [valueJS boxJS])
-  Binary
-  (void (format (box//read boxJS) " = " valueJS)))
-
 ## [Bundles]
 (def: lux-procs
   Bundle
@@ -376,14 +363,6 @@
           (install "exit" (unary io//exit))
           (install "current-time" (nullary io//current-time)))))
 
-(def: box-procs
-  Bundle
-  (<| (prefix "box")
-      (|> (dict.new text.Hash<Text>)
-          (install "new" (unary box//new))
-          (install "read" (unary box//read))
-          (install "write" (binary box//write)))))
-
 (def: #export procedures
   Bundle
   (<| (prefix "lux")
@@ -393,5 +372,4 @@
           (dict.merge frac-procs)
           (dict.merge text-procs)
           (dict.merge io-procs)
-          (dict.merge box-procs)
           )))
diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
index 2c470c44c..809a13bb9 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
@@ -364,31 +364,6 @@
   (|>> (_.INVOKESTATIC "java.lang.System" "currentTimeMillis" ($t.method (list) (#.Some $t.long) (list)) #0)
        (_.wrap #$.Long)))
 
-## [[Box]]
-(def: empty-boxI
-  $.Inst
-  (|>> (_.int 1) (_.ANEWARRAY ($t.binary-name "java.lang.Object"))))
-
-(def: check-boxI
-  $.Inst
-  (_.CHECKCAST ($t.descriptor $Object-Array)))
-
-(def: (box//new initI)
-  Unary
-  (|>> empty-boxI
-       _.DUP (_.int 0) initI _.AASTORE))
-
-(def: (box//read boxI)
-  Unary
-  (|>> boxI check-boxI
-       (_.int 0) _.AALOAD))
-
-(def: (box//write [valueI boxI])
-  Binary
-  (|>> boxI check-boxI
-       (_.int 0) valueI _.AASTORE
-       unitI))
-
 ## [Bundles]
 (def: lux-procs
   Bundle
@@ -466,14 +441,6 @@
           (install "exit" (unary io//exit))
           (install "current-time" (nullary io//current-time)))))
 
-(def: box-procs
-  Bundle
-  (<| (prefix "box")
-      (|> (dict.new text.Hash<Text>)
-          (install "new" (unary box//new))
-          (install "read" (unary box//read))
-          (install "write" (binary box//write)))))
-
 (def: #export procedures
   Bundle
   (<| (prefix "lux")
@@ -483,5 +450,4 @@
           (dict.merge frac-procs)
           (dict.merge text-procs)
           (dict.merge io-procs)
-          (dict.merge box-procs)
           )))
diff --git a/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux
index 394dd3d34..f173f24b6 100644
--- a/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux
@@ -285,19 +285,6 @@
   (|> (lua.apply "os.time" (list))
       (lua.* (lua.int 1_000))))
 
-## [[Box]]
-(def: box//new
-  Unary
-  (|>> (list) lua.array))
-
-(def: box//read
-  Unary
-  (lua.nth (lua.int 1)))
-
-(def: (box//write [valueO boxO])
-  Binary
-  (runtimeT.box//write valueO boxO))
-
 ## [Bundles]
 (def: lux-procs
   Bundle
@@ -375,14 +362,6 @@
           (install "exit" (unary io//exit))
           (install "current-time" (nullary io//current-time)))))
 
-(def: box-procs
-  Bundle
-  (<| (prefix "box")
-      (|> (dict.new text.Hash<Text>)
-          (install "new" (unary box//new))
-          (install "read" (unary box//read))
-          (install "write" (binary box//write)))))
-
 (def: #export procedures
   Bundle
   (<| (prefix "lux")
@@ -392,5 +371,4 @@
           (dict.merge frac-procs)
           (dict.merge text-procs)
           (dict.merge io-procs)
-          (dict.merge box-procs)
           )))
diff --git a/new-luxc/source/luxc/lang/translation/python/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/python/procedure/common.jvm.lux
index 430d4b5e7..8ffe03f49 100644
--- a/new-luxc/source/luxc/lang/translation/python/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/procedure/common.jvm.lux
@@ -328,27 +328,6 @@
           (install "current-time" (nullary (function (_ _)
                                              (runtimeT.io//current-time! runtimeT.unit)))))))
 
-## [[Box]]
-(def: box//new
-  Unary
-  (|>> (list) python.list))
-
-(def: box//read
-  Unary
-  (python.nth (python.int 0)))
-
-(def: (box//write [valueO boxO])
-  Binary
-  (runtimeT.box//write valueO boxO))
-
-(def: box-procs
-  Bundle
-  (<| (prefix "box")
-      (|> (dict.new text.Hash<Text>)
-          (install "new" (unary box//new))
-          (install "read" (unary box//read))
-          (install "write" (binary box//write)))))
-
 ## [Bundles]
 (def: #export procedures
   Bundle
@@ -359,5 +338,4 @@
           (dict.merge frac-procs)
           (dict.merge text-procs)
           (dict.merge io-procs)
-          (dict.merge box-procs)
           )))
diff --git a/new-luxc/source/luxc/lang/translation/r/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/r/procedure/common.jvm.lux
index 421618890..261e6cfb9 100644
--- a/new-luxc/source/luxc/lang/translation/r/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/procedure/common.jvm.lux
@@ -326,27 +326,6 @@
           (install "current-time" (nullary (function (_ _)
                                              (runtimeT.io//current-time! runtimeT.unit)))))))
 
-## [[Box]]
-(def: box//new
-  Unary
-  (|>> (list) r.list))
-
-(def: box//read
-  Unary
-  (r.nth (r.int 1)))
-
-(def: (box//write [valueO boxO])
-  Binary
-  (runtimeT.box//write valueO boxO))
-
-(def: box-procs
-  Bundle
-  (<| (prefix "box")
-      (|> (dict.new text.Hash<Text>)
-          (install "new" (unary box//new))
-          (install "read" (unary box//read))
-          (install "write" (binary box//write)))))
-
 ## [Bundles]
 (def: #export procedures
   Bundle
@@ -357,5 +336,4 @@
           (dict.merge frac-procs)
           (dict.merge text-procs)
           (dict.merge io-procs)
-          (dict.merge box-procs)
           )))
diff --git a/new-luxc/source/luxc/lang/translation/ruby/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/ruby/procedure/common.jvm.lux
index e40f49b80..9176879b1 100644
--- a/new-luxc/source/luxc/lang/translation/ruby/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/ruby/procedure/common.jvm.lux
@@ -359,27 +359,6 @@
           (install "exit" (unary io//exit))
           (install "current-time" (nullary io//current-time)))))
 
-## [[Box]]
-(def: box//new
-  Unary
-  (|>> (list) ruby.array))
-
-(def: box//read
-  Unary
-  (ruby.nth (ruby.int 0)))
-
-(def: (box//write [valueO boxO])
-  Binary
-  (runtimeT.box//write valueO boxO))
-
-(def: box-procs
-  Bundle
-  (<| (prefix "box")
-      (|> (dict.new text.Hash<Text>)
-          (install "new" (unary box//new))
-          (install "read" (unary box//read))
-          (install "write" (binary box//write)))))
-
 ## [Bundles]
 (def: #export procedures
   Bundle
@@ -390,5 +369,4 @@
           (dict.merge frac-procs)
           (dict.merge text-procs)
           (dict.merge io-procs)
-          (dict.merge box-procs)
           )))
diff --git a/new-luxc/test/test/luxc/lang/translation/common.lux b/new-luxc/test/test/luxc/lang/translation/common.lux
index 03e56fa18..f03965de2 100644
--- a/new-luxc/test/test/luxc/lang/translation/common.lux
+++ b/new-luxc/test/test/luxc/lang/translation/common.lux
@@ -325,42 +325,6 @@
                            #0))))
         )))
 
-(def: (box-spec run)
-  (-> Runner Test)
-  (do r.Monad<Random>
-    [pre r.nat
-     post (|> r.nat (r.filter (|>> (n/= pre) not)))
-     #let [preS (synthesis.i64 pre)
-           postS (synthesis.i64 post)
-           boxS (#synthesis.Extension "lux box new"
-                                      (list preS))]]
-    ($_ seq
-        (test "Can read boxes."
-              (|> (run (#synthesis.Extension "lux box read" (list boxS)))
-                  (case> (#e.Success valueV)
-                         (n/= pre (:coerce Nat valueV))
-
-                         (#e.Error error)
-                         (exec (log! error)
-                           #0))))
-        (test "Can write boxes."
-              (|> (run (synthesis.branch/let
-                        [boxS
-                         0
-                         (synthesis.branch/let
-                          [(#synthesis.Extension "lux box write"
-                                                 (list postS (synthesis.variable/local 0)))
-                           1
-                           (#synthesis.Extension "lux box read"
-                                                 (list (synthesis.variable/local 0)))])]))
-                  (case> (#e.Success valueV)
-                         (n/= post (:coerce Nat valueV))
-
-                         (#e.Error error)
-                         (exec (log! error)
-                           #0))))
-        )))
-
 (def: (all-specs run)
   (-> Runner Test)
   ($_ seq
@@ -369,7 +333,6 @@
       (f64-spec run)
       (text-spec run)
       (io-spec run)
-      (box-spec run)
       ))
 
 (context: "[JVM] Common procedures."