diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/control/parser/synthesis.lux | 56 |
1 files changed, 28 insertions, 28 deletions
diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 473d6371b..894f7da68 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -1,32 +1,32 @@ (.using - [library - [lux {"-" Tuple Variant function loop i64 local} - [abstract - [monad {"+" do}]] - [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] - [data - ["[0]" bit] - ["[0]" text - ["%" format {"+" format}]]] - [math - [number - ["n" nat] - ["[0]" i64] - ["[0]" frac]]] - [meta - ["[0]" symbol]] - [tool - [compiler - [reference {"+" } - [variable {"+" Register}]] - [arity {"+" Arity}] - [language - [lux - [analysis {"+" Variant Tuple Environment}] - ["/" synthesis {"+" Synthesis Abstraction}]]]]]]] - ["[0]" //]) + [library + [lux {"-" function loop i64 local} + [abstract + [monad {"+" do}]] + [control + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}]] + [data + ["[0]" bit] + ["[0]" text + ["%" format {"+" format}]]] + [math + [number + ["n" nat] + ["[0]" i64] + ["[0]" frac]]] + [meta + ["[0]" symbol]] + [tool + [compiler + [reference {"+" } + [variable {"+" Register}]] + [arity {"+" Arity}] + [language + [lux + [analysis {"+" Environment}] + ["/" synthesis {"+" Synthesis Abstraction}]]]]]]] + ["[0]" //]) (exception: .public (cannot_parse [input (List Synthesis)]) (exception.report |