1 files changed, 44 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/generator/primitive.jvm.lux b/new-luxc/source/luxc/generator/primitive.jvm.lux
new file mode 100644
index 000000000..2c879dd48
--- /dev/null
+++ b/new-luxc/source/luxc/generator/primitive.jvm.lux
@@ -0,0 +1,44 @@
+(;module:
+  lux
+  (lux (control monad)
+       (data text/format)
+       [macro #+ Monad<Lux> "Lux/" Monad<Lux>]
+       [host #+ jvm-import])
+  (luxc ["&" base]
+        (lang ["la" analysis]
+              ["ls" synthesis])
+        ["&;" analyser]
+        ["&;" synthesizer]
+        (generator ["&;" common])))
+
+(jvm-import #long java.lang.Object)
+
+(jvm-import org.objectweb.asm.Opcodes)
+
+(jvm-import org.objectweb.asm.MethodVisitor
+  (visitLdcInsn [Object] void))
+
+(def: #export generate-unit
+  (Lux Unit)
+  (do Monad<Lux>
+    [visitor &common;get-visitor
+     #let [_ (MethodVisitor.visitLdcInsn [(:! java.lang.Object &common;unit)] visitor)]]
+    (wrap [])))
+
+(do-template [<name> <type> <wrap>]
+  [(def: #export (<name> value)
+     (-> <type> (Lux Unit))
+     (do Monad<Lux>
+       [visitor &common;get-visitor
+        #let [_ (MethodVisitor.visitLdcInsn [(:! java.lang.Object value)] visitor)
+              _ (<wrap> visitor)]]
+       (wrap [])))]
+
+  [generate-bool Bool &common;wrap-boolean]
+  [generate-nat  Nat  &common;wrap-long]
+  [generate-int  Int  &common;wrap-long]
+  [generate-deg  Deg  &common;wrap-long]
+  [generate-real Real &common;wrap-double]
+  [generate-char Char &common;wrap-char]
+  [generate-text Text id]
+  )