From 60daee098f92a44c3b404a9f5801f2e8126ad650 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 5 Apr 2022 18:32:42 -0400
Subject: No longer depending on the ASM library for JVM bytecode generation.

---
 lux-jvm/source/luxc/lang/host/jvm.lux | 150 ----------------------------------
 1 file changed, 150 deletions(-)
 delete mode 100644 lux-jvm/source/luxc/lang/host/jvm.lux

(limited to 'lux-jvm/source/luxc/lang/host/jvm.lux')

diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
deleted file mode 100644
index 22d901d51..000000000
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ /dev/null
@@ -1,150 +0,0 @@
-(.using
- [library
-  [lux {"-" Definition Type Label}
-   [ffi {"+" import:}]
-   [abstract
-    monad]
-   [control
-    ["<>" parser
-     ["<[0]>" code]]]
-   [data
-    [binary {"+" Binary}]
-    [text
-     ["%" format {"+" format}]]
-    [collection
-     ["[0]" list ("[1]#[0]" monad)]]]
-   [macro
-    ["[0]" code]
-    [syntax {"+" syntax:}]]
-   [target
-    [jvm
-     ["[0]" type {"+" Type}
-      [category {"+" Class}]]]]
-   [tool
-    [compiler
-     [reference
-      [variable {"+" Register}]]
-     [language
-      [lux
-       ["[0]" generation]]]
-     [meta
-      [archive {"+" Archive}]]]]]])
-
-(import: org/objectweb/asm/MethodVisitor
-  "[1]::[0]")
-
-(import: org/objectweb/asm/ClassWriter
-  "[1]::[0]")
-
-(import: org/objectweb/asm/Label
-  "[1]::[0]"
-  (new []))
-
-(type: .public Def
-  (-> org/objectweb/asm/ClassWriter org/objectweb/asm/ClassWriter))
-
-(type: .public Inst
-  (-> org/objectweb/asm/MethodVisitor org/objectweb/asm/MethodVisitor))
-
-(type: .public Label
-  org/objectweb/asm/Label)
-
-(type: .public Visibility
-  (Variant
-   {#Public}
-   {#Protected}
-   {#Private}
-   {#Default}))
-
-(type: .public Version
-  (Variant
-   {#V1_1}
-   {#V1_2}
-   {#V1_3}
-   {#V1_4}
-   {#V1_5}
-   {#V1_6}
-   {#V1_7}
-   {#V1_8}))
-
-(type: .public ByteCode
-  Binary)
-
-(type: .public Definition
-  [Text ByteCode])
-
-(type: .public Anchor
-  [Label Register])
-
-(type: .public Host
-  (generation.Host Inst Definition))
-
-(template [<name> <base>]
-  [(type: .public <name>
-     (<base> ..Anchor ..Inst ..Definition))]
-
-  [State     generation.State]
-  [Operation generation.Operation]
-  [Phase     generation.Phase]
-  [Handler   generation.Handler]
-  [Bundle    generation.Bundle]
-  [Extender  generation.Extender]
-  )
-
-(type: .public (Generator i)
-  (-> Phase Archive i (Operation Inst)))
-
-(syntax: (config: [type <code>.local
-                   none <code>.local
-                   ++ <code>.local
-                   options (<code>.tuple (<>.many <code>.local))])
-  (let [g!type (code.local type)
-        g!none (code.local none)
-        g!tags+ (list#each (|>> (format "#") code.local) options)
-        g!_left (code.local "_left")
-        g!_right (code.local "_right")
-        g!options+ (list#each (function (_ option)
-                                (` (def: .public (~ (code.local option))
-                                     (~ g!type)
-                                     (|> (~ g!none)
-                                         (has (~ (code.local (format "#" option))) #1)))))
-                              options)]
-    (in (list& (` (type: .public (~ g!type)
-                    (.Record
-                     (~ (|> g!tags+
-                            (list#each (function (_ tag)
-                                         (list tag (` .Bit))))
-                            list#conjoint
-                            code.tuple)))))
-
-               (` (def: .public (~ g!none)
-                    (~ g!type)
-                    (~ (|> g!tags+
-                           (list#each (function (_ tag)
-                                        (list tag (` #0))))
-                           list#conjoint
-                           code.tuple))))
-
-               (` (def: .public ((~ (code.local ++)) (~ g!_left) (~ g!_right))
-                    (-> (~ g!type) (~ g!type) (~ g!type))
-                    (~ (|> g!tags+
-                           (list#each (function (_ tag)
-                                        (list tag (` (or (the (~ tag) (~ g!_left))
-                                                         (the (~ tag) (~ g!_right)))))))
-                           list#conjoint
-                           code.tuple))))
-
-               g!options+))))
-
-(config: Class_Config  noneC ++C [finalC])
-(config: Method_Config noneM ++M [finalM staticM synchronizedM strictM])
-(config: Field_Config  noneF ++F [finalF staticF transientF volatileF])
-
-(def: .public new_label
-  (-> Any Label)
-  (function (_ _)
-    (org/objectweb/asm/Label::new)))
-
-(def: .public (simple_class name)
-  (-> Text (Type Class))
-  (type.class name (list)))
-- 
cgit v1.2.3