aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/parser/synthesis.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/control/parser/synthesis.lux56
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