aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/parser/synthesis.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/control/parser/synthesis.lux')
-rw-r--r--stdlib/source/library/lux/control/parser/synthesis.lux20
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux
index 828042bd4..69e89986e 100644
--- a/stdlib/source/library/lux/control/parser/synthesis.lux
+++ b/stdlib/source/library/lux/control/parser/synthesis.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux {"-" [Tuple Variant function loop i64 local]}
+ [lux {"-" Tuple Variant function loop i64 local}
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]]
[data
["[0]" bit]
["[0]" name]
["[0]" text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
[number
["n" nat]
@@ -18,13 +18,13 @@
["[0]" frac]]]
[tool
[compiler
- [reference {"+" []}
- [variable {"+" [Register]}]]
- [arity {"+" [Arity]}]
+ [reference {"+" }
+ [variable {"+" Register}]]
+ [arity {"+" Arity}]
[language
[lux
- [analysis {"+" [Variant Tuple Environment]}]
- ["/" synthesis {"+" [Synthesis Abstraction]}]]]]]]]
+ [analysis {"+" Variant Tuple Environment}]
+ ["/" synthesis {"+" Synthesis Abstraction}]]]]]]]
["[0]" //])
(exception: .public (cannot_parse [input (List Synthesis)])