From 012f6bd41e527479dddbccbdab10daa78fd9a0fd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 1 Nov 2017 00:51:45 -0400
Subject: - Re-organized code-generation, and re-named it "translation".

---
 new-luxc/source/luxc/generator/eval.jvm.lux | 81 -----------------------------
 1 file changed, 81 deletions(-)
 delete mode 100644 new-luxc/source/luxc/generator/eval.jvm.lux

(limited to 'new-luxc/source/luxc/generator/eval.jvm.lux')

diff --git a/new-luxc/source/luxc/generator/eval.jvm.lux b/new-luxc/source/luxc/generator/eval.jvm.lux
deleted file mode 100644
index 2f0ce1c24..000000000
--- a/new-luxc/source/luxc/generator/eval.jvm.lux
+++ /dev/null
@@ -1,81 +0,0 @@
-(;module:
-  lux
-  (lux (control monad)
-       (data ["R" error]
-             text/format)
-       [meta #+ Monad<Meta> "Meta/" Monad<Meta>]
-       [host #+ do-to])
-  (luxc ["&" base]
-        (host ["$" jvm]
-              (jvm ["$t" type]
-                   ["$d" def]
-                   ["$i" inst]))
-        (lang ["la" analysis]
-              ["ls" synthesis])
-        (generator ["&;" common])
-        ))
-
-(host;import java.lang.Object)
-(host;import java.lang.String)
-
-(host;import java.lang.reflect.Field
-  (get [Object] Object))
-
-(host;import (java.lang.Class a)
-  (getField [String] Field))
-
-(host;import org.objectweb.asm.Opcodes
-  (#static ACC_PUBLIC int)
-  (#static ACC_SUPER int)
-  (#static ACC_FINAL int)
-  (#static ACC_STATIC int)
-  (#static PUTSTATIC int)
-  (#static RETURN int)
-  (#static V1_6 int)
-  )
-
-(host;import org.objectweb.asm.MethodVisitor
-  (visitCode [] void)
-  (visitEnd [] void)
-  (visitLdcInsn [Object] void)
-  (visitFieldInsn [int String String String] void)
-  (visitInsn [int] void)
-  (visitMaxs [int int] void))
-
-(host;import org.objectweb.asm.FieldVisitor
-  (visitEnd [] void))
-
-(host;import org.objectweb.asm.ClassWriter
-  (#static COMPUTE_MAXS int)
-  (new [int])
-  (visit [int int String String String (Array String)] void)
-  (visitEnd [] void)
-  (visitField [int String String String Object] FieldVisitor)
-  (visitMethod [int String String String (Array String)] MethodVisitor)
-  (toByteArray [] (Array byte)))
-
-(def: #export (eval valueI)
-  (-> $;Inst (Meta Top))
-  (do Monad<Meta>
-    [class-name (:: @ map %code (meta;gensym "eval"))
-     #let [writer (|> (do-to (ClassWriter.new ClassWriter.COMPUTE_MAXS)
-                        (ClassWriter.visit [&common;bytecode-version
-                                            (i.+ Opcodes.ACC_PUBLIC Opcodes.ACC_SUPER)
-                                            class-name
-                                            (host;null)
-                                            "java/lang/Object"
-                                            (host;null)]))
-                      ($d;field #$;Public ($_ $;++F $;finalF $;staticF)
-                                &common;value-field &common;$Object)
-                      ($d;method #$;Public ($_ $;++M $;staticM $;strictM)
-                                 "<clinit>"
-                                 ($t;method (list) #;None (list))
-                                 (|>. valueI
-                                      ($i;PUTSTATIC class-name &common;value-field &common;$Object)
-                                      $i;RETURN)))
-           bytecode (ClassWriter.toByteArray [] (do-to writer (ClassWriter.visitEnd [])))]
-     _ (&common;store-class class-name bytecode)
-     class (&common;load-class class-name)]
-    (wrap (|> class
-              (Class.getField [&common;value-field])
-              (Field.get (host;null))))))
-- 
cgit v1.2.3