From a59fc865aee240afe21b82ffef2681bb9a6ea693 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 29 Jul 2018 02:30:13 -0400
Subject: Adapted new-luxc to some of the latest changes to Lux.
---
.../source/luxc/lang/translation/jvm/eval.jvm.lux | 46 ----------------------
1 file changed, 46 deletions(-)
delete mode 100644 new-luxc/source/luxc/lang/translation/jvm/eval.jvm.lux
(limited to 'new-luxc/source/luxc/lang/translation/jvm/eval.jvm.lux')
diff --git a/new-luxc/source/luxc/lang/translation/jvm/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/eval.jvm.lux
deleted file mode 100644
index 49fbd0385..000000000
--- a/new-luxc/source/luxc/lang/translation/jvm/eval.jvm.lux
+++ /dev/null
@@ -1,46 +0,0 @@
-(.module:
- lux
- (lux (control monad)
- (data [text]
- text/format)
- [macro]
- [host #+ do-to])
- (luxc ["&" lang]
- (lang (host ["$" jvm]
- (jvm ["$t" type]
- ["$d" def]
- ["_" inst]))
- ["la" analysis]
- ["ls" synthesis]))
- (// [".T" common]))
-
-(host.import: java/lang/reflect/Field
- (get [Object] Object))
-
-(host.import: (java/lang/Class a)
- (getField [String] Field))
-
-(def: #export (eval valueI)
- (-> $.Inst (Meta Any))
- (do macro.Monad
- [current-module macro.current-module-name
- class-name (:: @ map %code (macro.gensym (format current-module "/eval")))
- #let [store-name (text.replace-all "/" "." class-name)
- bytecode ($d.class #$.V1_6
- #$.Public $.noneC
- class-name
- (list) ["java.lang.Object" (list)]
- (list)
- (|>> ($d.field #$.Public ($_ $.++F $.finalF $.staticF)
- commonT.value-field commonT.$Object)
- ($d.method #$.Public ($_ $.++M $.staticM $.strictM)
- ""
- ($t.method (list) #.None (list))
- (|>> valueI
- (_.PUTSTATIC store-name commonT.value-field commonT.$Object)
- _.RETURN))))]
- _ (commonT.store-class store-name bytecode)
- class (commonT.load-class store-name)]
- (wrap (|> class
- (Class::getField [commonT.value-field])
- (Field::get (host.null))))))
--
cgit v1.2.3