diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/host/jvm.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/host/jvm.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/new-luxc/source/luxc/lang/host/jvm.lux b/new-luxc/source/luxc/lang/host/jvm.lux index bbfc5e136..7e5abd6d4 100644 --- a/new-luxc/source/luxc/lang/host/jvm.lux +++ b/new-luxc/source/luxc/lang/host/jvm.lux @@ -105,17 +105,17 @@ (translation.Compiler ..Anchor Inst Definition)) ## [Values] -(syntax: (config: {type s.local-symbol} - {none s.local-symbol} - {++ s.local-symbol} - {options (s.tuple (p.many s.local-symbol))}) - (let [g!type (code.local-symbol type) - g!none (code.local-symbol none) +(syntax: (config: {type s.local-identifier} + {none s.local-identifier} + {++ s.local-identifier} + {options (s.tuple (p.many s.local-identifier))}) + (let [g!type (code.local-identifier type) + g!none (code.local-identifier none) g!tags+ (list/map code.local-tag options) - g!_left (code.local-symbol "_left") - g!_right (code.local-symbol "_right") + g!_left (code.local-identifier "_left") + g!_right (code.local-identifier "_right") g!options+ (list/map (function (_ option) - (` (def: (~' #export) (~ (code.local-symbol option)) + (` (def: (~' #export) (~ (code.local-identifier option)) (~ g!type) (|> (~ g!none) (set@ (~ (code.local-tag option)) #1))))) @@ -131,7 +131,7 @@ [tag (` #0)]) g!tags+))))) - (` (def: (~' #export) ((~ (code.local-symbol ++)) (~ g!_left) (~ g!_right)) + (` (def: (~' #export) ((~ (code.local-identifier ++)) (~ g!_left) (~ g!_right)) (-> (~ g!type) (~ g!type) (~ g!type)) (~ (code.record (list/map (function (_ tag) [tag (` (or (get@ (~ tag) (~ g!_left)) |