diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/host/jvm.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/host/jvm.lux | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux index 600f26dd7..dc4a3b351 100644 --- a/lux-jvm/source/luxc/lang/host/jvm.lux +++ b/lux-jvm/source/luxc/lang/host/jvm.lux @@ -9,6 +9,8 @@ ["<[0]>" code]]] [data [binary {"+" Binary}] + [text + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" monad)]]] [macro @@ -96,14 +98,14 @@ 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 (|>> (format "#") code.local_identifier) options) g!_left (code.local_identifier "_left") g!_right (code.local_identifier "_right") g!options+ (list#each (function (_ option) (` (def: .public (~ (code.local_identifier option)) (~ g!type) (|> (~ g!none) - (with@ (~ (code.local_tag option)) #1))))) + (with@ (~ (code.local_identifier (format "#" option))) #1))))) options)] (in (list& (` (type: .public (~ g!type) (.Record |