Got the Python compiler running.

1 files changed, 0 insertions, 149 deletions

diff --git a/new-luxc/source/luxc/lang/translation/python/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/python/eval.jvm.lux
deleted file mode 100644
index 1ffcc5a1f..000000000
--- a/new-luxc/source/luxc/lang/translation/python/eval.jvm.lux
+++ /dev/null
@@ -1,149 +0,0 @@
-(.module:
-  lux
-  (lux (control ["ex" exception #+ exception:])
-       (data [bit]
-             [maybe]
-             ["e" error #+ Error]
-             text/format
-             (coll [array]))
-       [host])
-  (luxc [lang]
-        (lang (host [python #+ Expression Statement])))
-  [//])
-
-(do-template [<name>]
-  [(exception: #export (<name> {message Text})
-     message)]
-
-  [Not-A-Variant]
-  [Unknown-Kind-Of-Host-Object]
-  [Null-Has-No-Lux-Representation]
-  [Cannot-Evaluate]
-  )
-
-(host.import: java/lang/Object
-  (toString [] String)
-  (getClass [] (Class Object)))
-
-(host.import: java/lang/Long
-  (intValue [] Integer))
-
-(host.import: org/python/core/PyType
-  (getName [] String))
-
-(host.import: org/python/core/PyString
-  (new [String]))
-
-(host.import: org/python/core/PyObject
-  (asLong [] long)
-  (asDouble [] double)
-  (asString [] String)
-  (__nonzero__ [] boolean)
-  (__getitem__ [int] #try PyObject)
-  (__getitem__ #as __getitem__dict [PyObject] #try PyObject)
-  (__len__ [] int)
-  (getType [] PyType))
-
-(def: (tuple lux-object host-object)
-  (-> (-> PyObject (Error Any)) PyObject (Error Any))
-  (let [size (:coerce Nat (PyObject::__len__ [] host-object))]
-    (loop [idx +0
-           output (:coerce (Array Any) (array.new size))]
-      (if (n/< size idx)
-        (case (PyObject::__getitem__ [(:coerce Int idx)] host-object)
-          (#e.Error error)
-          (#e.Error error)
-          
-          (#e.Success value)
-          (case (lux-object value)
-            (#e.Error error)
-            (#e.Error error)
-
-            (#e.Success lux-value)
-            (recur (inc idx) (array.write idx lux-value output))))
-        (#e.Success output)))))
-
-(def: python-type
-  (-> PyObject Text)
-  (|>> (PyObject::getType []) (PyType::getName []) (:coerce Text)))
-
-(def: tag-field (PyString::new [//.variant-tag-field]))
-(def: flag-field (PyString::new [//.variant-flag-field]))
-(def: value-field (PyString::new [//.variant-value-field]))
-
-(def: (variant lux-object host-object)
-  (-> (-> PyObject (Error Any)) PyObject (Error Any))
-  (case [(PyObject::__getitem__dict [tag-field] host-object)
-         (PyObject::__getitem__dict [flag-field] host-object)
-         (PyObject::__getitem__dict [value-field] host-object)]
-    (^or [(#e.Error error) _ _] [_ (#e.Error error) _] [_ _ (#e.Error error)])
-    (#e.Error error)
-    
-    (^multi [(#e.Success tag) (#e.Success flag) (#e.Success value)]
-            [(lux-object tag)
-             (#e.Success tag)]
-            [(lux-object value)
-             (#e.Success value)])
-    (#e.Success [(Long::intValue [] (:coerce Long tag))
-                 (: Any
-                    (case (python-type (:coerce PyObject flag))
-                      "NoneType"
-                      (host.null)
-
-                      _
-                      ""))
-                 value])
-
-    _
-    (ex.throw Not-A-Variant (Object::toString [] host-object))))
-
-(def: (lux-object host-object)
-  (-> PyObject (Error Any))
-  (case (python-type host-object)
-    "str"
-    (#e.Success (PyObject::asString [] host-object))
-    
-    "bool"
-    (#e.Success (PyObject::__nonzero__ [] host-object))
-
-    "float"
-    (#e.Success (PyObject::asDouble [] host-object))
-
-    (^or "int" "long")
-    (#e.Success (PyObject::asLong [] host-object))
-
-    "tuple"
-    (tuple lux-object host-object)
-
-    "dict"
-    (variant lux-object host-object)
-
-    "NoneType"
-    (#e.Success [])
-    
-    type
-    (ex.throw Unknown-Kind-Of-Host-Object (format type " " (Object::toString [] 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"
-                            "<< " (python.expression code) "\n"
-                            error))
-          ((lang.throw Cannot-Evaluate error) compiler))
-
-        (#e.Success output)
-        (case (lux-object output)
-          (#e.Success parsed-output)
-          (exec ## (log! (format "eval #e.Success\n"
-            ##               "<< " (python.expression code)))
-            (#e.Success [compiler parsed-output]))
-
-          (#e.Error error)
-          (exec (log! (format "eval #e.Error\n"
-                              "<< " (python.expression code) "\n"
-                              error))
-            ((lang.throw Cannot-Evaluate error) compiler)))))))