diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/control/parser/synthesis.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 224eee314..a4927b521 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -4,18 +4,18 @@ [abstract [monad {"+" [do]}]] [control - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}]] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}]] [data - ["." bit] - ["." name] - ["." text + ["[0]" bit] + ["[0]" name] + ["[0]" text ["%" format {"+" [format]}]]] [math [number ["n" nat] - ["." i64] - ["." frac]]] + ["[0]" i64] + ["[0]" frac]]] [tool [compiler [reference {"+" []} @@ -25,7 +25,7 @@ [lux [analysis {"+" [Variant Tuple Environment]}] ["/" synthesis {"+" [Synthesis Abstraction]}]]]]]]] - ["." //]) + ["[0]" //]) (exception: .public (cannot_parse {input (List Synthesis)}) (exception.report |