aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/jvm/structure.lux
diff options
context:
space:
mode:
authorEduardo Julian2019-04-27 23:41:47 -0400
committerEduardo Julian2019-04-27 23:41:47 -0400
commitaf7f85c4eb724f2888ecce9c8b52d6d3bb1cd807 (patch)
tree9d2b80257b5c82ebcc9f17bd32e9771ea51cc708 /new-luxc/source/luxc/lang/translation/jvm/structure.lux
parentaa7f1d12ae98da9726bf8bbdd3c494a671e3f94b (diff)
Moved JVM type machinery to stdlib.
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/structure.lux')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/structure.lux10
1 files changed, 6 insertions, 4 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.lux
index 527228c8e..5cfe233fe 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/structure.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/structure.lux
@@ -1,5 +1,5 @@
(.module:
- [lux #*
+ [lux (#- Type)
[abstract
["." monad (#+ do)]]
[control
@@ -9,6 +9,9 @@
format]
[collection
["." list]]]
+ [target
+ [jvm
+ ["$t" type (#+ Type)]]]
[tool
[compiler
[synthesis (#+ Synthesis)]
@@ -16,8 +19,7 @@
[luxc
[lang
[host
- ["." jvm (#+ Inst Operation Phase)
- ["$t" type]
+ [jvm (#+ Inst Operation Phase)
["_" inst]]]]]
["." //])
@@ -25,7 +27,7 @@
(ex.report ["Expected size" ">= 2"]
["Actual size" (%n size)]))
-(def: $Object jvm.Type ($t.class "java.lang.Object" (list)))
+(def: $Object ($t.class "java.lang.Object" (list)))
(def: #export (tuple translate members)
(-> Phase (List Synthesis) (Operation Inst))