diff options
Diffstat (limited to 'stdlib/source/parser/lux/tool')
| -rw-r--r-- | stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux | 10 |
2 files changed, 8 insertions, 8 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 7c7e8b855..5e818aa29 100644 --- a/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux @@ -91,7 +91,7 @@ (Parser <type>) (function (_ input) (case input - (pattern (list.partial (<tag> x) input')) + (list.partial (<tag> x) input') {try.#Success [input' x]} _ @@ -101,7 +101,7 @@ (-> <type> (Parser Any)) (function (_ input) (case input - (pattern (list.partial (<tag> actual) input')) + (list.partial (<tag> actual) input') (if (at <eq> = expected actual) {try.#Success [input' []]} (exception.except ..cannot_parse input)) @@ -124,7 +124,7 @@ (All (_ a) (-> (Parser a) (Parser a))) (function (_ input) (case input - (pattern (list.partial (/.tuple head) tail)) + (list.partial (/.tuple head) tail) (do try.monad [output (..result parser head)] {try.#Success [tail output]}) 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 de0c5d1ac..2117dabd0 100644 --- a/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux @@ -95,7 +95,7 @@ (Parser <type>) (.function (_ input) (case input - (pattern (list.partial (<tag> x) input')) + (list.partial (<tag> x) input') {try.#Success [input' x]} _ @@ -105,7 +105,7 @@ (-> <type> (Parser Any)) (.function (_ input) (case input - (pattern (list.partial (<tag> actual) input')) + (list.partial (<tag> actual) input') (if (at <eq> = expected actual) {try.#Success [input' []]} (exception.except ..cannot_parse input)) @@ -126,7 +126,7 @@ (All (_ a) (-> (Parser a) (Parser a))) (.function (_ input) (case input - (pattern (list.partial (/.tuple head) tail)) + (list.partial (/.tuple head) tail) (do try.monad [output (..result parser head)] {try.#Success [tail output]}) @@ -138,7 +138,7 @@ (All (_ a) (-> Arity (Parser a) (Parser [(Environment Synthesis) a]))) (.function (_ input) (case input - (pattern (list.partial (/.function/abstraction [environment actual body]) tail)) + (list.partial (/.function/abstraction [environment actual body]) tail) (if (n.= expected actual) (do try.monad [output (..result parser (list body))] @@ -152,7 +152,7 @@ (All (_ a b) (-> (Parser a) (Parser b) (Parser [Register a b]))) (.function (_ input) (case input - (pattern (list.partial (/.loop/scope [start inits iteration]) tail)) + (list.partial (/.loop/scope [start inits iteration]) tail) (do try.monad [inits (..result init_parsers inits) iteration (..result iteration_parser (list iteration))] |