diff options
| author | Eduardo Julian | 2021-06-12 01:32:40 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-12 01:32:40 -0400 |
| commit | af3e6e2cb011dc2ad9204440990731a2f272716d (patch) | |
| tree | 3521c74b05fc5b3ddddbe901d32ace87dbb6c018 /lux-jvm/source/luxc/lang/host/jvm.lux | |
| parent | 8f575da5095e3b259d4eb6b6f13d3e37ef1d38e4 (diff) | |
Constraining the year of the snapshot time in Aedifex.
Diffstat (limited to 'lux-jvm/source/luxc/lang/host/jvm.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/host/jvm.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux index c2a2a6f41..a50090c5d 100644 --- a/lux-jvm/source/luxc/lang/host/jvm.lux +++ b/lux-jvm/source/luxc/lang/host/jvm.lux @@ -1,11 +1,11 @@ (.module: [lux (#- Definition Type) - [host (#+ import:)] + [ffi (#+ import:)] [abstract monad] [control - ["p" parser - ["s" code]]] + ["<>" parser + ["<.>" code]]] [data [binary (#+ Binary)] [collection @@ -84,10 +84,10 @@ (type: #export (Generator i) (-> Phase Archive i (Operation Inst))) -(syntax: (config: {type s.local_identifier} - {none s.local_identifier} - {++ s.local_identifier} - {options (s.tuple (p.many s.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) |