Removed old JS-compiler files.

2 files changed, 0 insertions, 528 deletions

diff --git a/new-luxc/source/luxc/lang/translation/js.lux b/new-luxc/source/luxc/lang/translation/js.lux
deleted file mode 100644
index ddad4d389..000000000
--- a/new-luxc/source/luxc/lang/translation/js.lux
+++ /dev/null
@@ -1,344 +0,0 @@
-(.module:
-  lux
-  (lux (control ["ex" exception #+ exception:]
-                pipe
-                [monad #+ do])
-       (data [bit]
-             [maybe]
-             ["e" error #+ Error]
-             [text "text/" Eq<Text>]
-             text/format
-             (coll [array]))
-       [macro]
-       [io #+ IO Process io]
-       [host #+ class: interface: object]
-       (world [file #+ File]))
-  (luxc [lang]
-        (lang [".L" variable #+ Register]
-              (host [js #+ JS Expression Statement]))
-        [".C" io]))
-
-(do-template [<name>]
-  [(exception: #export (<name> {message Text})
-     message)]
-
-  [No-Active-Module-Buffer]
-  [Cannot-Execute]
-
-  [No-Anchor]
-  
-  [Unknown-Member]
-  )
-
-(host.import: java/lang/Object
-  (toString [] String))
-
-(host.import: java/lang/String
-  (getBytes [String] #try (Array byte)))
-
-(host.import: java/lang/Integer
-  (longValue [] Long))
-
-(host.import: java/lang/Long
-  (intValue [] Integer))
-
-(host.import: java/lang/CharSequence)
-
-(host.import: java/lang/Appendable
-  (append [CharSequence] Appendable))
-
-(host.import: java/lang/StringBuilder
-  (new [])
-  (toString [] String))
-
-(host.import: javax/script/ScriptEngine
-  (eval [String] #try #? Object))
-
-(host.import: javax/script/ScriptEngineFactory
-  (getScriptEngine [] ScriptEngine))
-
-(host.import: jdk/nashorn/api/scripting/NashornScriptEngineFactory
-  (new []))
-
-(host.import: jdk/nashorn/api/scripting/NashornScriptEngine)
-
-(host.import: jdk/nashorn/api/scripting/JSObject)
-
-(host.import: jdk/nashorn/api/scripting/AbstractJSObject)
-
-(host.import: java/util/Arrays
-  (#static [t] copyOfRange [(Array t) int int] (Array t)))
-
-(type: #export Anchor [Text Register])
-
-(type: #export Host
-  {#context [Text Nat]
-   #anchor (Maybe Anchor)
-   #interpreter ScriptEngine
-   #module-buffer (Maybe StringBuilder)
-   #program-buffer StringBuilder
-   })
-
-(def: #export init
-  (IO Host)
-  (io {#context ["" +0]
-       #anchor #.None
-       #interpreter (ScriptEngineFactory::getScriptEngine [] (NashornScriptEngineFactory::new []))
-       #module-buffer #.None
-       #program-buffer (StringBuilder::new [])}))
-
-(def: #export module-js-name Text "module.js")
-
-(def: #export init-module-buffer
-  (Meta Any)
-  (function (_ compiler)
-    (#e.Success [(update@ #.host
-                          (|>> (:coerce Host)
-                               (set@ #module-buffer (#.Some (StringBuilder::new [])))
-                               (:coerce Nothing))
-                          compiler)
-                 []])))
-
-(def: #export (with-sub-context expr)
-  (All [a] (-> (Meta a) (Meta [Text a])))
-  (function (_ compiler)
-    (let [old (:coerce Host (get@ #.host compiler))
-          [old-name old-sub] (get@ #context old)
-          new-name (format old-name "$" (%i (.int old-sub)))]
-      (case (expr (set@ #.host
-                        (:coerce Nothing (set@ #context [new-name +0] old))
-                        compiler))
-        (#e.Success [compiler' output])
-        (#e.Success [(update@ #.host
-                              (|>> (:coerce Host)
-                                   (set@ #context [old-name (inc old-sub)])
-                                   (:coerce Nothing))
-                              compiler')
-                     [new-name output]])
-
-        (#e.Error error)
-        (#e.Error error)))))
-
-(def: #export context
-  (Meta Text)
-  (function (_ compiler)
-    (#e.Success [compiler
-                 (|> (get@ #.host compiler)
-                     (:coerce Host)
-                     (get@ #context)
-                     (let> [name sub]
-                           name))])))
-
-(def: #export (with-anchor anchor expr)
-  (All [a] (-> Anchor (Meta a) (Meta a)))
-  (function (_ compiler)
-    (let [old (:coerce Host (get@ #.host compiler))]
-      (case (expr (set@ #.host
-                        (:coerce Nothing (set@ #anchor (#.Some anchor) old))
-                        compiler))
-        (#e.Success [compiler' output])
-        (#e.Success [(update@ #.host
-                              (|>> (:coerce Host)
-                                   (set@ #anchor (get@ #anchor old))
-                                   (:coerce Nothing))
-                              compiler')
-                     output])
-
-        (#e.Error error)
-        (#e.Error error)))))
-
-(def: #export anchor
-  (Meta Anchor)
-  (function (_ compiler)
-    (case (|> compiler (get@ #.host) (:coerce Host) (get@ #anchor))
-      (#.Some anchor)
-      (#e.Success [compiler anchor])
-
-      #.None
-      ((lang.throw No-Anchor "") compiler))))
-
-(def: #export module-buffer
-  (Meta StringBuilder)
-  (function (_ compiler)
-    (case (|> compiler (get@ #.host) (:coerce Host) (get@ #module-buffer))
-      #.None
-      ((lang.throw No-Active-Module-Buffer "") compiler)
-      
-      (#.Some module-buffer)
-      (#e.Success [compiler module-buffer]))))
-
-(def: #export program-buffer
-  (Meta StringBuilder)
-  (function (_ compiler)
-    (#e.Success [compiler (|> compiler (get@ #.host) (:coerce Host) (get@ #program-buffer))])))
-
-(def: (execute code)
-  (-> Expression (Meta Any))
-  (function (_ compiler)
-    (case (|> compiler
-              (get@ #.host)
-              (:coerce Host)
-              (get@ #interpreter)
-              (ScriptEngine::eval [code]))
-      (#e.Error error)
-      ((lang.throw Cannot-Execute error) compiler)
-      
-      (#e.Success _)
-      (#e.Success [compiler []]))))
-
-(def: (::toString js-object)
-  (-> Any JSObject)
-  (object [] AbstractJSObject []
-    []
-    (AbstractJSObject (isFunction) boolean
-                      #1)
-    (AbstractJSObject (call [args (Array Object)]) Object
-                      (Object::toString [] (:coerce Object js-object)))
-    ))
-
-(def: (::slice js-object value)
-  (-> (-> Object JSObject) (Array Object) JSObject)
-  (object [] AbstractJSObject []
-    []
-    (AbstractJSObject (isFunction) boolean
-                      #1)
-    (AbstractJSObject (call [args (Array Object)]) Object
-                      (:coerce Object
-                               (js-object (Arrays::copyOfRange [value
-                                                                (|> args (array.read +0) maybe.assume (:coerce Int))
-                                                                (.int (array.size value))]))))
-    ))
-
-(def: #export int-high-field Text "H")
-(def: #export int-low-field Text "L")
-
-(def: #export variant-tag-field "_lux_tag")
-(def: #export variant-flag-field "_lux_flag")
-(def: #export variant-value-field "_lux_value")
-
-(def: jvm-int
-  (-> Nat Integer)
-  (|>> (:coerce Long) (Long::intValue [])))
-
-(def: low-mask
-  Nat
-  (|> +1 (bit.left-shift +32) dec))
-
-(def: #export high (-> Nat Nat) (bit.logical-right-shift +32))
-(def: #export low (-> Nat Nat) (bit.and low-mask))
-
-(interface: IntValue
-  (getValue [] Long))
-
-(host.import: luxc/lang/translation/js/IntValue)
-
-(def: (js-int value)
-  (-> Int JSObject)
-  (object [] AbstractJSObject [IntValue]
-    []
-    ## Methods
-    (IntValue (getValue) Long
-              (:coerce Long value))
-    (AbstractJSObject (getMember [member String]) Object
-                      (cond (text/= int-high-field member)
-                            (|> value .nat high jvm-int)
-                            
-                            (text/= int-low-field member)
-                            (|> value .nat low jvm-int)
-                            
-                            ## else
-                            (error! (ex.construct Unknown-Member
-                                                  (format "     member = " member "\n"
-                                                          "object(int) = " (%i value) "\n")))))))
-
-(interface: StructureValue
-  (getValue [] (Array Object)))
-
-(host.import: luxc/lang/translation/js/StructureValue)
-
-(def: (js-structure value)
-  (-> (Array Object) JSObject)
-  (object [] AbstractJSObject [StructureValue]
-    []
-    ## Methods
-    (StructureValue (getValue) (Array Object)
-                    (:coerce (Array Object) value))
-    (AbstractJSObject (isArray) boolean
-                      #1)
-    (AbstractJSObject (getMember [member String]) Object
-                      (cond (text/= "toString" member)
-                            (:coerce Object
-                                     (::toString value))
-                            
-                            (text/= "length" member)
-                            (jvm-int (array.size value))
-                            
-                            (text/= "slice" member)
-                            (let [js-object (: (-> Object JSObject)
-                                               (|>> (cond> [(host.instance? (Array Object))]
-                                                           [(:coerce (Array Object)) js-structure]
-
-                                                           [(host.instance? Long)]
-                                                           [(:coerce Int) js-int]
-
-                                                           ## else
-                                                           [(:coerce JSObject)])))]
-                              (:coerce Object
-                                       (::slice js-object value)))
-                            
-                            ## else
-                            (error! (ex.construct Unknown-Member (format "           member = " (:coerce Text member) "\n"
-                                                                         "object(structure) = " (Object::toString [] (:coerce Object value)) "\n")))))
-    (AbstractJSObject (getSlot [idx int]) Object
-                      (|> value
-                          (array.read (|> idx (Integer::longValue []) (:coerce Nat)))
-                          maybe.assume
-                          (cond> [(host.instance? (Array Object))]
-                                 [(:coerce (Array Object)) js-structure]
-
-                                 [(host.instance? Long)]
-                                 [(:coerce Int) js-int]
-
-                                 ## else
-                                 [(:coerce JSObject)])
-                          (:coerce Object)))
-    ))
-
-(def: #export unit Text "")
-
-(def: (module-name module)
-  (-> Text Text)
-  (|> module
-      (text.replace-all "/" "$")
-      (text.replace-all "-" "_")))
-
-(def: #export (definition-name [module name])
-  (-> Name Text)
-  (format (module-name module) "$" (lang.normalize-name name)))
-
-(def: #export (save-js code)
-  (-> JS (Meta Any))
-  (do macro.Monad<Meta>
-    [module-buffer module-buffer
-     #let [_ (Appendable::append [(:coerce CharSequence code)]
-                                 module-buffer)]]
-    (execute code)))
-
-(def: #export (save-definition name code)
-  (-> Name Expression (Meta Any))
-  (save-js (format "var " (definition-name name) " = " code ";\n")))
-
-(def: #export (save-module! target)
-  (-> File (Meta (Process Any)))
-  (do macro.Monad<Meta>
-    [module macro.current-module-name
-     module-buffer module-buffer
-     program-buffer program-buffer
-     #let [module-code (StringBuilder::toString [] module-buffer)
-           _ (Appendable::append [(:coerce CharSequence (format module-code "\n"))]
-                                 program-buffer)]]
-    (wrap (ioC.write target
-                     (format (module-name module) "/" module-js-name)
-                     (|> module-code
-                         (String::getBytes ["UTF-8"])
-                         e.assume)))))
diff --git a/new-luxc/source/luxc/lang/translation/js/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/js/eval.jvm.lux
deleted file mode 100644
index 89f419cc3..000000000
--- a/new-luxc/source/luxc/lang/translation/js/eval.jvm.lux
+++ /dev/null
@@ -1,184 +0,0 @@
-(.module:
-  lux
-  (lux (control ["ex" exception #+ exception:])
-       (data [bit]
-             [maybe]
-             ["e" error #+ Error]
-             text/format
-             (coll [array]))
-       [host])
-  (luxc [lang]
-        (lang (host [js #+ JS Expression Statement])))
-  [//])
-
-(do-template [<name>]
-  [(exception: #export (<name> {message Text})
-     message)]
-
-  [Unknown-Kind-Of-JS-Object]
-  [Null-Has-No-Lux-Representation]
-
-  [Cannot-Evaluate]
-  )
-
-(host.import: java/lang/Object
-  (toString [] String))
-
-(host.import: java/lang/Integer
-  (longValue [] Long))
-
-(host.import: java/lang/Number
-  (doubleValue [] double)
-  (longValue [] Long)
-  (intValue [] Integer))
-
-(host.import: javax/script/ScriptEngine
-  (eval [String] #try #? Object))
-
-(host.import: jdk/nashorn/api/scripting/JSObject
-  (isArray [] boolean)
-  (isFunction [] boolean)
-  (getMember [String] #? Object)
-  (hasMember [String] boolean))
-
-(host.import: jdk/nashorn/api/scripting/AbstractJSObject)
-
-(host.import: jdk/nashorn/api/scripting/ScriptObjectMirror
-  (size [] int))
-
-(host.import: jdk/nashorn/internal/runtime/Undefined)
-
-(host.import: luxc/lang/translation/js/IntValue
-  (getValue [] Long))
-
-(host.import: luxc/lang/translation/js/StructureValue
-  (getValue [] (Array Object)))
-
-(def: (int js-object)
-  (-> ScriptObjectMirror (Maybe Int))
-  (case [(JSObject::getMember [//.int-high-field] js-object)
-         (JSObject::getMember [//.int-low-field] js-object)]
-    (^multi [(#.Some high) (#.Some low)]
-            (and (host.instance? Number high)
-                 (host.instance? Number low))
-            [[(Number::longValue [] (:coerce Number high))
-              (Number::longValue [] (:coerce Number low))]
-             [high low]])
-    (#.Some (.int (n/+ (|> high (:coerce Nat) (bit.left-shift +32))
-                       (if (i/< 0 (:coerce Int low))
-                         (|> low (:coerce Nat) (bit.left-shift +32) (bit.logical-right-shift +32))
-                         (|> low (:coerce Nat))))))
-
-    _
-    #.None))
-
-(def: (variant lux-object js-object)
-  (-> (-> Object (Error Any)) ScriptObjectMirror (Maybe Any))
-  (case [(JSObject::getMember [//.variant-tag-field] js-object)
-         (JSObject::getMember [//.variant-flag-field] js-object)
-         (JSObject::getMember [//.variant-value-field] js-object)]
-    (^multi [(#.Some tag) ?flag (#.Some value)]
-            (host.instance? Number tag)
-            [[(Number::intValue [] (:coerce Number tag))
-              (lux-object value)]
-             [tag (#.Some value)]])
-    (#.Some [tag (maybe.default (host.null) ?flag) value])
-
-    _
-    #.None))
-
-(def: (array lux-object js-object)
-  (-> (-> Object (Error Any)) ScriptObjectMirror (Maybe (Array Object)))
-  (if (JSObject::isArray [] js-object)
-    (let [init-num-keys (.nat (ScriptObjectMirror::size [] js-object))]
-      (loop [num-keys init-num-keys
-             idx +0
-             output (: (Array Object)
-                       (array.new init-num-keys))]
-        (if (n/< num-keys idx)
-          (let [idx-key (|> idx .int %i)]
-            (case (JSObject::getMember idx-key js-object)
-              (#.Some member)
-              (case (lux-object member)
-                (#e.Success parsed-member)
-                (recur num-keys (inc idx) (array.write idx (:coerce Object parsed-member) output))
-
-                (#e.Error error)
-                #.None)
-              
-              #.None
-              (recur num-keys (inc idx) output)))
-          (#.Some output))))
-    #.None))
-
-(def: (lux-object js-object)
-  (-> Object (Error Any))
-  (`` (cond (host.null? js-object)
-            (ex.throw Null-Has-No-Lux-Representation "")
-            
-            (host.instance? Integer js-object)
-            (ex.return (Integer::longValue [] (:coerce Integer js-object)))
-
-            (or (host.instance? java/lang/Boolean js-object)
-                (host.instance? java/lang/String js-object))
-            (ex.return js-object)
-
-            (host.instance? Number js-object)
-            (ex.return (Number::doubleValue [] (:coerce Number js-object)))
-
-            (~~ (do-template [<interface> <method>]
-                  [(host.instance? <interface> js-object)
-                   (ex.return (<method> [] (:coerce <interface> js-object)))]
-                  
-                  [StructureValue StructureValue::getValue]
-                  [IntValue       IntValue::getValue]))
-            
-            (host.instance? ScriptObjectMirror js-object)
-            (let [js-object (:coerce ScriptObjectMirror js-object)]
-              (case (int js-object)
-                (#.Some value)
-                (ex.return value)
-
-                #.None
-                (case (variant lux-object js-object)
-                  (#.Some value)
-                  (ex.return value)
-
-                  #.None
-                  (case (array lux-object js-object)
-                    (#.Some value)
-                    (ex.return value)
-
-                    #.None
-                    ## (JSObject::isFunction [] js-object)
-                    ## js-object
-
-                    ## else
-                    (ex.throw Unknown-Kind-Of-JS-Object (Object::toString [] (:coerce Object js-object)))))))
-            
-            ## else
-            (ex.throw Unknown-Kind-Of-JS-Object (Object::toString [] (:coerce Object js-object))))))
-
-(def: #export (eval code)
-  (-> Expression (Meta Any))
-  (function (_ compiler)
-    (case (|> compiler
-              (get@ #.host)
-              (:coerce //.Host)
-              (get@ #//.interpreter)
-              (ScriptEngine::eval [code]))
-      (#e.Error error)
-      ((lang.throw Cannot-Evaluate error) compiler)
-      
-      (#e.Success output)
-      (case output
-        #.None
-        (#e.Success [compiler []])
-
-        (#.Some output)
-        (case (lux-object output)
-          (#e.Success parsed-output)
-          (#e.Success [compiler parsed-output])
-
-          (#e.Error error)
-          ((lang.throw Cannot-Evaluate error) compiler))))))