aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/parser/lux/tool
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/parser/lux/tool')
-rw-r--r--stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux6
-rw-r--r--stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux14
2 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux
index 99a2f3e8e..32ee998eb 100644
--- a/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux
@@ -6,7 +6,7 @@
[control
["//" parser]
["[0]" try (.only Try)]
- ["[0]" exception (.only exception:)]]
+ ["[0]" exception (.only exception)]]
[data
["[0]" bit]
["[0]" text (.only)
@@ -38,11 +38,11 @@
(list#each /.format)
(text.interposed " "))))
-(exception: .public (cannot_parse [input (List Analysis)])
+(exception .public (cannot_parse [input (List Analysis)])
(exception.report
"Input" (exception.listing /.format input)))
-(exception: .public (unconsumed_input [input (List Analysis)])
+(exception .public (unconsumed_input [input (List Analysis)])
(exception.report
"Input" (exception.listing /.format input)))
diff --git a/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux
index c5f44f784..de0c5d1ac 100644
--- a/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux
@@ -6,7 +6,7 @@
[control
["//" parser]
["[0]" try (.only Try)]
- ["[0]" exception (.only exception:)]]
+ ["[0]" exception (.only exception)]]
[data
["[0]" bit]
["[0]" text (.only)
@@ -31,25 +31,25 @@
[\\library
["[0]" / (.only Synthesis Abstraction)]])
-(exception: .public (cannot_parse [input (List Synthesis)])
+(exception .public (cannot_parse [input (List Synthesis)])
(exception.report
"Input" (exception.listing /.%synthesis input)))
-(exception: .public (unconsumed_input [input (List Synthesis)])
+(exception .public (unconsumed_input [input (List Synthesis)])
(exception.report
"Input" (exception.listing /.%synthesis input)))
-(exception: .public (expected_empty_input [input (List Synthesis)])
+(exception .public (expected_empty_input [input (List Synthesis)])
(exception.report
"Input" (exception.listing /.%synthesis input)))
-(exception: .public (wrong_arity [expected Arity
- actual Arity])
+(exception .public (wrong_arity [expected Arity
+ actual Arity])
(exception.report
"Expected" (%.nat expected)
"Actual" (%.nat actual)))
-(exception: .public empty_input)
+(exception .public empty_input)
(type .public Parser
(//.Parser (List Synthesis)))