aboutsummaryrefslogtreecommitdiff
path: root/new-luxc
diff options
context:
space:
mode:
authorEduardo Julian2018-07-31 22:54:35 -0400
committerEduardo Julian2018-07-31 22:54:35 -0400
commit428965131e17d101a16e3ca60b3412101e216cd1 (patch)
tree2b74c5241ee117aa581f4ee7301fc1e5f1bfa6a8 /new-luxc
parent97ab1f076ac08992d6b64cd77bc0bef97b3fc50a (diff)
Now implementing box functionality in stdlib instead of the compiler.
Diffstat (limited to 'new-luxc')
-rw-r--r--new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux22
-rw-r--r--new-luxc/source/luxc/lang/translation/js/procedure/common.jvm.lux22
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux34
-rw-r--r--new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux22
-rw-r--r--new-luxc/source/luxc/lang/translation/python/procedure/common.jvm.lux22
-rw-r--r--new-luxc/source/luxc/lang/translation/r/procedure/common.jvm.lux22
-rw-r--r--new-luxc/source/luxc/lang/translation/ruby/procedure/common.jvm.lux22
-rw-r--r--new-luxc/test/test/luxc/lang/translation/common.lux37
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."