From 9eaaaf953ba7ce1eeb805603f4e113aa15f5178f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 8 Jan 2018 21:40:06 -0400
Subject: - Moved all translation code under the JVM path (in preparation for
 porting the JS back-end).

---
 .../luxc/lang/translation/expression.jvm.lux       | 76 ----------------------
 1 file changed, 76 deletions(-)
 delete mode 100644 new-luxc/source/luxc/lang/translation/expression.jvm.lux

(limited to 'new-luxc/source/luxc/lang/translation/expression.jvm.lux')

diff --git a/new-luxc/source/luxc/lang/translation/expression.jvm.lux b/new-luxc/source/luxc/lang/translation/expression.jvm.lux
deleted file mode 100644
index 4496de784..000000000
--- a/new-luxc/source/luxc/lang/translation/expression.jvm.lux
+++ /dev/null
@@ -1,76 +0,0 @@
-(.module:
-  lux
-  (lux (control monad
-                ["ex" exception #+ exception:]
-                ["p" parser])
-       (data ["e" error]
-             text/format)
-       [macro]
-       (macro ["s" syntax]))
-  (luxc ["&" lang]
-        (lang [".L" variable #+ Variable Register]
-              (host ["$" jvm])
-              ["ls" synthesis]
-              (translation [".T" common]
-                           [".T" primitive]
-                           [".T" structure]
-                           [".T" eval]
-                           [".T" procedure]
-                           [".T" function]
-                           [".T" reference]
-                           [".T" case]))))
-
-(exception: #export Unrecognized-Synthesis)
-
-(def: #export (translate synthesis)
-  (-> ls.Synthesis (Meta $.Inst))
-  (case synthesis
-    (^code [])
-    primitiveT.translate-unit
-
-    (^code [(~ singleton)])
-    (translate singleton)
-
-    (^template [<tag> <generator>]
-      [_ (<tag> value)]
-      (<generator> value))
-    ([#.Bool primitiveT.translate-bool]
-     [#.Nat  primitiveT.translate-nat]
-     [#.Int  primitiveT.translate-int]
-     [#.Deg  primitiveT.translate-deg]
-     [#.Frac primitiveT.translate-frac]
-     [#.Text primitiveT.translate-text])
-
-    (^code ((~ [_ (#.Nat tag)]) (~ [_ (#.Bool last?)]) (~ valueS)))
-    (structureT.translate-variant translate tag last? valueS)
-
-    (^code [(~+ members)])
-    (structureT.translate-tuple translate members)
-
-    (^ [_ (#.Form (list [_ (#.Int var)]))])
-    (if (variableL.captured? var)
-      (referenceT.translate-captured var)
-      (referenceT.translate-local var))
-
-    [_ (#.Symbol definition)]
-    (referenceT.translate-definition definition)
-
-    (^code ("lux let" (~ [_ (#.Nat register)]) (~ inputS) (~ exprS)))
-    (caseT.translate-let translate register inputS exprS)
-
-    (^code ("lux case" (~ inputS) (~ pathPS)))
-    (caseT.translate-case translate inputS pathPS)
-
-    (^multi (^code ("lux function" (~ [_ (#.Nat arity)]) [(~+ environment)] (~ bodyS)))
-            [(s.run environment (p.some s.int)) (#e.Success environment)])
-    (functionT.translate-function translate environment arity bodyS)
-
-    (^code ("lux call" (~ functionS) (~+ argsS)))
-    (functionT.translate-call translate functionS argsS)
-
-    (^code ((~ [_ (#.Text procedure)]) (~+ argsS)))
-    (procedureT.translate-procedure translate procedure argsS)
-
-    _
-    (&.throw Unrecognized-Synthesis (%code synthesis))
-    ))
-- 
cgit v1.2.3