aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang
diff options
context:
space:
mode:
authorEduardo Julian2019-05-01 20:48:35 -0400
committerEduardo Julian2019-05-01 20:48:35 -0400
commite95633dab5642d6ccc168b5389794ffa65f230b9 (patch)
treee3a890b22ac93292de5df4b2f8d1dcf0c547340a /new-luxc/source/luxc/lang
parentc923517c864dad362ef00ae78b449bb40cc27e84 (diff)
Forgot to remove the "eval" module.
Diffstat (limited to 'new-luxc/source/luxc/lang')
-rw-r--r--new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux166
1 files changed, 0 insertions, 166 deletions
diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux
deleted file mode 100644
index 9f918bdd5..000000000
--- a/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux
+++ /dev/null
@@ -1,166 +0,0 @@
-(.module:
- lux
- (lux (control ["ex" exception #+ exception:]
- [monad #+ do])
- (data [bit]
- [maybe]
- ["e" error #+ Error]
- [text "text/" Eq<Text>]
- text/format
- (coll [array]))
- [host])
- (luxc [lang]
- (lang (host ["_" common-lisp #+ Expression])))
- [//])
-
-(host.import: java/lang/Object
- (toString [] String)
- (getClass [] (Class Object)))
-
-(host.import: java/lang/Long
- (intValue [] Integer))
-
-(host.import: (java/lang/Class ?)
- (#static forName [String] #try (Class Object)))
-
-(def: _0
- Any
- (case (Class::forName "org.armedbear.lisp.Symbol")
- (#e.Success _)
- (log! "LOADED")
-
- (#e.Error error)
- (log! error)))
-
-(template [<name>]
- [(exception: #export (<name> {message Text})
- message)]
-
- [Null-Has-No-Lux-Representation]
- [Cannot-Evaluate]
- [invalid-variant]
- )
-
-(exception: #export (Unknown-Kind-Of-Host-Object {host-object Object})
- (let [object-class (:coerce Text (Object::toString [] (Object::getClass [] (:coerce Object host-object))))
- text-representation (:coerce Text (Object::toString [] (:coerce Object host-object)))]
- (format object-class " --- " text-representation)))
-
-(host.import: org/armedbear/lisp/LispObject)
-
-(host.import: org/armedbear/lisp/SimpleString
- (getStringValue [] String))
-
-(host.import: org/armedbear/lisp/Symbol
- (#static T Symbol)
- (getName [] String))
-
-(host.import: org/armedbear/lisp/DoubleFloat
- (doubleValue [] double))
-
-(host.import: org/armedbear/lisp/Bignum
- (longValue [] long))
-
-(host.import: org/armedbear/lisp/Fixnum
- (longValue [] long))
-
-(host.import: org/armedbear/lisp/Nil)
-
-(host.import: org/armedbear/lisp/SimpleVector
- (length [] int)
- (elt [int] LispObject))
-
-(def: (parse-tuple lux-object host-object)
- (-> (-> Object (Error Any)) SimpleVector (Error Any))
- (let [size (:coerce Nat (SimpleVector::length [] host-object))]
- (loop [idx +0
- output (:coerce (Array Any) (array.new size))]
- (if (n/< size idx)
- (case (lux-object (SimpleVector::elt [(:coerce Int idx)] host-object))
- (#e.Error error)
- (#e.Error error)
-
- (#e.Success lux-value)
- (recur (inc idx) (array.write idx (:coerce Any lux-value) output)))
- (#e.Success output)))))
-
-(def: (variant tag flag value)
- (-> Nat Bit Any Any)
- [(Long::intValue [] (:coerce Long tag))
- (: Any
- (if flag
- //.unit
- (host.null)))
- value])
-
-(host.import: org/armedbear/lisp/Cons
- (car LispObject)
- (cdr LispObject))
-
-(def: (parse-variant lux-object host-object)
- (-> (-> Object (Error Any)) Cons (Error Any))
- (let [variant-tag (Cons::car host-object)]
- (if (and (host.instance? org/armedbear/lisp/Symbol variant-tag)
- (text/= //.variant-tag (Symbol::getName [] (:coerce Symbol variant-tag))))
- (do e.Monad<Error>
- [#let [host-object (:coerce Cons (Cons::cdr host-object))]
- tag (lux-object (Cons::car host-object))
- #let [host-object (:coerce Cons (Cons::cdr host-object))]
- #let [flag (host.instance? org/armedbear/lisp/SimpleString
- (Cons::car host-object))]
- value (lux-object (Cons::cdr host-object))]
- (wrap (..variant (:coerce Nat tag) flag value)))
- (ex.throw invalid-variant (:coerce Text (Object::toString [] (:coerce Object host-object)))))))
-
-(def: (lux-object host-object)
- (-> Object (Error Any))
- (cond (host.instance? org/armedbear/lisp/Bignum host-object)
- (#e.Success (Bignum::longValue [] (:coerce Bignum host-object)))
-
- (host.instance? org/armedbear/lisp/Fixnum host-object)
- (#e.Success (Fixnum::longValue [] (:coerce Fixnum host-object)))
-
- (host.instance? org/armedbear/lisp/DoubleFloat host-object)
- (#e.Success (DoubleFloat::doubleValue [] (:coerce DoubleFloat host-object)))
-
- (host.instance? org/armedbear/lisp/Nil host-object)
- (#e.Success #0)
-
- (host.instance? org/armedbear/lisp/Symbol host-object)
- (if (is? Symbol::T (:coerce Symbol host-object))
- (#e.Success #1)
- (ex.throw Unknown-Kind-Of-Host-Object (:coerce Object host-object)))
-
- (host.instance? org/armedbear/lisp/SimpleString host-object)
- (#e.Success (SimpleString::getStringValue [] (:coerce SimpleString host-object)))
-
- (host.instance? org/armedbear/lisp/SimpleVector host-object)
- (parse-tuple lux-object (:coerce SimpleVector host-object))
-
- (host.instance? org/armedbear/lisp/Cons host-object)
- (parse-variant lux-object (:coerce Cons host-object))
-
- ## else
- (ex.throw Unknown-Kind-Of-Host-Object (:coerce Object host-object))))
-
-(def: #export (eval code)
- (-> Expression (Meta Any))
- (function (_ compiler)
- (let [interpreter (|> compiler (get@ #.host) (:coerce //.Host) (get@ #//.interpreter))]
- (case (interpreter code)
- (#e.Error error)
- (exec (log! (format "eval #e.Error\n"
- "<< " (_.expression code) "\n"
- error))
- ((lang.throw Cannot-Evaluate error) compiler))
-
- (#e.Success output)
- (case (lux-object output)
- (#e.Success parsed-output)
- (#e.Success [compiler parsed-output])
-
- (#e.Error error)
- (exec (log! (format "eval #e.Error\n"
- "<< " (_.expression code) "\n"
- error))
- ((lang.throw Cannot-Evaluate error) compiler)))))))