diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/host/jvm.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/host/jvm.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux index a9b73c8b0..6ce7badc5 100644 --- a/lux-jvm/source/luxc/lang/host/jvm.lux +++ b/lux-jvm/source/luxc/lang/host/jvm.lux @@ -88,10 +88,10 @@ (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))}) +(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/map code.local_tag options) |