diff options
| author | Eduardo Julian | 2021-09-13 01:35:52 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 01:35:52 -0400 |
| commit | c19b19a2d48c3937bae72982cbb88b78d21b3891 (patch) | |
| tree | 0215a9cfabfec7ad979dcfa8df0b5ffcc787ec4e /lux-jvm/source/luxc/lang/host/jvm.lux | |
| parent | 6368253e731bd20b5f9f6891306b8302ec330d38 (diff) | |
Updated new compilers w.r.t. removal of tags/labels.
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 |