aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/parser/analysis.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/control/parser/analysis.lux')
-rw-r--r--stdlib/source/library/lux/control/parser/analysis.lux72
1 files changed, 36 insertions, 36 deletions
diff --git a/stdlib/source/library/lux/control/parser/analysis.lux b/stdlib/source/library/lux/control/parser/analysis.lux
index 31bc63a43..0d1fb35c5 100644
--- a/stdlib/source/library/lux/control/parser/analysis.lux
+++ b/stdlib/source/library/lux/control/parser/analysis.lux
@@ -1,37 +1,37 @@
(.using
- [library
- [lux {"-" nat int rev local}
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" try {"+" Try}]
- ["[0]" exception {"+" exception:}]]
- [data
- ["[0]" bit]
- ["[0]" text
- ["%" format {"+" format}]]
- [collection
- ["[0]" list ("[1]#[0]" functor)]]]
- [macro
- ["[0]" template]]
- [math
- [number
- ["[0]" i64]
- ["[0]" nat]
- ["[0]" int]
- ["[0]" rev]
- ["[0]" frac]]]
- [meta
- ["[0]" symbol]]
- [tool
- [compiler
- [arity {"+" Arity}]
- [reference {"+" }
- [variable {"+" }]]
- [language
- [lux
- ["/" analysis {"+" Environment Analysis}]]]]]]]
- ["[0]" //])
+ [library
+ [lux {"-" nat int rev local}
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]]
+ [data
+ ["[0]" bit]
+ ["[0]" text
+ ["%" format {"+" format}]]
+ [collection
+ ["[0]" list ("[1]#[0]" functor)]]]
+ [macro
+ ["[0]" template]]
+ [math
+ [number
+ ["[0]" i64]
+ ["[0]" nat]
+ ["[0]" int]
+ ["[0]" rev]
+ ["[0]" frac]]]
+ [meta
+ ["[0]" symbol]]
+ [tool
+ [compiler
+ [arity {"+" Arity}]
+ [reference {"+" }
+ [variable {"+" }]]
+ [language
+ [lux
+ ["/" analysis {"+" Environment Analysis}]]]]]]]
+ ["[0]" //])
(def: (remaining_inputs asts)
(-> (List Analysis) Text)
@@ -93,7 +93,7 @@
(Parser <type>)
(function (_ input)
(case input
- (^ (list& (<tag> x) input'))
+ (pattern (list& (<tag> x) input'))
{try.#Success [input' x]}
_
@@ -103,7 +103,7 @@
(-> <type> (Parser Any))
(function (_ input)
(case input
- (^ (list& (<tag> actual) input'))
+ (pattern (list& (<tag> actual) input'))
(if (# <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
- (^ (list& (/.tuple head) tail))
+ (pattern (list& (/.tuple head) tail))
(do try.monad
[output (..result parser head)]
{try.#Success [tail output]})