diff options
| author | Eduardo Julian | 2018-07-21 22:58:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-21 22:58:54 -0400 |
| commit | 2746f1a2d7606e3295e12e9c2e6833663658ffa8 (patch) | |
| tree | ab578e1caf50a57d65c514b173be57311459786c /new-luxc/source/luxc/lang/host/jvm.lux | |
| parent | 7061c56c7b038a633389c35eccb4a2cfef5098d0 (diff) | |
Re-named "Symbol" to "Identifier".
Diffstat (limited to '')
| -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)) |