aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/constant.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/constant.lux')
-rw-r--r--stdlib/source/library/lux/target/jvm/constant.lux78
1 files changed, 39 insertions, 39 deletions
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index 8f6358470..2dddcee7b 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -1,36 +1,36 @@
(.using
- [library
- [lux "*"
- ["@" target]
- ["[0]" ffi {"+" import:}]
- [abstract
- [monad {"+" do}]
- ["[0]" equivalence {"+" Equivalence}]]
- [data
- ["[0]" sum]
- ["[0]" product]
- ["[0]" text]
- [format
- ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]]
- [macro
- ["[0]" template]]
- [math
- [number
- ["[0]" i32 {"+" I32}]
- ["[0]" i64]
- ["[0]" int]
- ["[0]" frac]]]
- [type
- abstract]]]
- ["[0]" / "_"
- ["[1][0]" tag]
- ["/[1]" // "_"
- ["[1][0]" index {"+" Index}]
- [type
- ["[1][0]" category]
- ["[1][0]" descriptor {"+" Descriptor}]]
- [encoding
- ["[1][0]" unsigned]]]])
+ [library
+ [lux "*"
+ ["@" target]
+ ["[0]" ffi {"+" import:}]
+ [abstract
+ [monad {"+" do}]
+ ["[0]" equivalence {"+" Equivalence}]]
+ [data
+ ["[0]" sum]
+ ["[0]" product]
+ ["[0]" text]
+ [format
+ ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]]
+ [macro
+ ["[0]" template]]
+ [math
+ [number
+ ["[0]" i32 {"+" I32}]
+ ["[0]" i64]
+ ["[0]" int]
+ ["[0]" frac]]]
+ [type
+ abstract]]]
+ ["[0]" / "_"
+ ["[1][0]" tag]
+ ["/[1]" // "_"
+ ["[1][0]" index {"+" Index}]
+ [type
+ ["[1][0]" category]
+ ["[1][0]" descriptor {"+" Descriptor}]]
+ [encoding
+ ["[1][0]" unsigned]]]])
(type: .public UTF8
Text)
@@ -69,13 +69,13 @@
(Equivalence java/lang/Float)
(def: (= parameter subject)
- (for [@.old
- ("jvm feq" parameter subject)
-
- @.jvm
- ("jvm float ="
- ("jvm object cast" parameter)
- ("jvm object cast" subject))])))
+ (for @.old
+ ("jvm feq" parameter subject)
+
+ @.jvm
+ ("jvm float ="
+ ("jvm object cast" parameter)
+ ("jvm object cast" subject)))))
(import: java/lang/Double
["[1]::[0]"