aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/host
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm.lux32
1 files changed, 19 insertions, 13 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
index df9575ef4..44cc680eb 100644
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm.lux
@@ -10,7 +10,7 @@
[data
[binary (#+ Binary)]
[collection
- ["." list ("#/." functor)]]]
+ ["." list ("#\." monad)]]]
[macro
["." code]
[syntax (#+ syntax:)]]
@@ -96,10 +96,10 @@
options (<code>.tuple (<>.many <code>.local_identifier))])
(let [g!type (code.local_identifier type)
g!none (code.local_identifier none)
- g!tags+ (list/each code.local_tag options)
+ g!tags+ (list\each code.local_tag options)
g!_left (code.local_identifier "_left")
g!_right (code.local_identifier "_right")
- g!options+ (list/each (function (_ option)
+ g!options+ (list\each (function (_ option)
(` (def: .public (~ (code.local_identifier option))
(~ g!type)
(|> (~ g!none)
@@ -107,22 +107,28 @@
options)]
(in (list& (` (type: .public (~ g!type)
(.Record
- (~ (code.record (list/each (function (_ tag)
- [tag (` .Bit)])
- g!tags+))))))
+ (~ (|> g!tags+
+ (list\each (function (_ tag)
+ (list tag (` .Bit))))
+ list\conjoint
+ code.tuple)))))
(` (def: .public (~ g!none)
(~ g!type)
- (~ (code.record (list/each (function (_ tag)
- [tag (` #0)])
- g!tags+)))))
+ (~ (|> g!tags+
+ (list\each (function (_ tag)
+ (list tag (` #0))))
+ list\conjoint
+ code.tuple))))
(` (def: .public ((~ (code.local_identifier ++)) (~ g!_left) (~ g!_right))
(-> (~ g!type) (~ g!type) (~ g!type))
- (~ (code.record (list/each (function (_ tag)
- [tag (` (or (value@ (~ tag) (~ g!_left))
- (value@ (~ tag) (~ g!_right))))])
- g!tags+)))))
+ (~ (|> g!tags+
+ (list\each (function (_ tag)
+ (list tag (` (or (value@ (~ tag) (~ g!_left))
+ (value@ (~ tag) (~ g!_right)))))))
+ list\conjoint
+ code.tuple))))
g!options+))))