aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/host/jvm/inst.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/inst.lux69
1 files changed, 35 insertions, 34 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 95de82463..8427e23e1 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -1,38 +1,39 @@
(.module:
- [lux (#- Type int char try)
- ["." ffi (#+ import: do_to)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." function]
- ["." try]
- ["p" parser
- ["s" code]]]
- [data
- ["." product]
- ["." maybe]
- [collection
- ["." list ("#@." functor)]]]
- [macro
- [syntax (#+ syntax:)]
- ["." code]
- ["." template]]
- [math
- [number
- ["n" nat]
- ["i" int]]]
- [target
- [jvm
- [encoding
- ["." name (#+ External)]]
- ["." type (#+ Type) ("#@." equivalence)
- [category (#+ Void Value Return Method Primitive Object Class Array Var Parameter)]
- ["." box]
- ["." descriptor]
- ["." reflection]]]]
- [tool
- [compiler
- [phase (#+ Operation)]]]]
+ [library
+ [lux (#- Type int char try)
+ ["." ffi (#+ import: do_to)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." function]
+ ["." try]
+ ["p" parser
+ ["s" code]]]
+ [data
+ ["." product]
+ ["." maybe]
+ [collection
+ ["." list ("#@." functor)]]]
+ [macro
+ [syntax (#+ syntax:)]
+ ["." code]
+ ["." template]]
+ [math
+ [number
+ ["n" nat]
+ ["i" int]]]
+ [target
+ [jvm
+ [encoding
+ ["." name (#+ External)]]
+ ["." type (#+ Type) ("#@." equivalence)
+ [category (#+ Void Value Return Method Primitive Object Class Array Var Parameter)]
+ ["." box]
+ ["." descriptor]
+ ["." reflection]]]]
+ [tool
+ [compiler
+ [phase (#+ Operation)]]]]]
["." // (#+ Inst)])
(def: class_name (|>> type.descriptor descriptor.class_name name.read))