diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/host/jvm.lux')
-rw-r--r-- | lux-jvm/source/luxc/lang/host/jvm.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux index dc4a3b351..321316261 100644 --- a/lux-jvm/source/luxc/lang/host/jvm.lux +++ b/lux-jvm/source/luxc/lang/host/jvm.lux @@ -92,20 +92,20 @@ (type: .public (Generator i) (-> Phase Archive i (Operation Inst))) -(syntax: (config: [type <code>.local_identifier - none <code>.local_identifier - ++ <code>.local_identifier - options (<code>.tuple (<>.many <code>.local_identifier))]) - (let [g!type (code.local_identifier type) - g!none (code.local_identifier none) - g!tags+ (list#each (|>> (format "#") code.local_identifier) options) - g!_left (code.local_identifier "_left") - g!_right (code.local_identifier "_right") +(syntax: (config: [type <code>.local_symbol + none <code>.local_symbol + ++ <code>.local_symbol + options (<code>.tuple (<>.many <code>.local_symbol))]) + (let [g!type (code.local_symbol type) + g!none (code.local_symbol none) + g!tags+ (list#each (|>> (format "#") code.local_symbol) options) + g!_left (code.local_symbol "_left") + g!_right (code.local_symbol "_right") g!options+ (list#each (function (_ option) - (` (def: .public (~ (code.local_identifier option)) + (` (def: .public (~ (code.local_symbol option)) (~ g!type) (|> (~ g!none) - (with@ (~ (code.local_identifier (format "#" option))) #1))))) + (with@ (~ (code.local_symbol (format "#" option))) #1))))) options)] (in (list& (` (type: .public (~ g!type) (.Record @@ -123,7 +123,7 @@ list#conjoint code.tuple)))) - (` (def: .public ((~ (code.local_identifier ++)) (~ g!_left) (~ g!_right)) + (` (def: .public ((~ (code.local_symbol ++)) (~ g!_left) (~ g!_right)) (-> (~ g!type) (~ g!type) (~ g!type)) (~ (|> g!tags+ (list#each (function (_ tag) |