diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/control/parser/synthesis.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 66976a680..6f59a9680 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -30,21 +30,21 @@ (exception: .public (cannot_parse [input (List Synthesis)]) (exception.report - ["Input" (exception.listing /.%synthesis input)])) + "Input" (exception.listing /.%synthesis input))) (exception: .public (unconsumed_input [input (List Synthesis)]) (exception.report - ["Input" (exception.listing /.%synthesis input)])) + "Input" (exception.listing /.%synthesis input))) (exception: .public (expected_empty_input [input (List Synthesis)]) (exception.report - ["Input" (exception.listing /.%synthesis input)])) + "Input" (exception.listing /.%synthesis input))) (exception: .public (wrong_arity [expected Arity actual Arity]) (exception.report - ["Expected" (%.nat expected)] - ["Actual" (%.nat actual)])) + "Expected" (%.nat expected) + "Actual" (%.nat actual))) (exception: .public empty_input) |