diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/control/parser.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index fd29bd07b..e20558de9 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -41,7 +41,7 @@ ["#." xml]]) (def: (should_fail expected input) - (All [a] (-> Text (Try a) Bit)) + (All (_ a) (-> Text (Try a) Bit)) (case input (#try.Failure actual) (text\= expected actual) @@ -50,7 +50,7 @@ #0)) (def: (enforced? parser input) - (All [s] (-> (Parser s Any) s Bit)) + (All (_ s) (-> (Parser s Any) s Bit)) (case (/.result parser input) (#try.Success [_ []]) #1 @@ -59,7 +59,7 @@ #0)) (def: (found? parser input) - (All [s] (-> (Parser s Bit) s Bit)) + (All (_ s) (-> (Parser s Bit) s Bit)) (case (/.result parser input) (#try.Success [_ #1]) #1 @@ -68,7 +68,7 @@ #0)) (def: (fails? input) - (All [a] (-> (Try a) Bit)) + (All (_ a) (-> (Try a) Bit)) (case input (#try.Failure _) #1 @@ -332,11 +332,11 @@ ))) (def: injection - (Injection (All [a i] (Parser i a))) + (Injection (All (_ a i) (Parser i a))) (\ /.monad in)) (def: comparison - (Comparison (All [a i] (Parser i a))) + (Comparison (All (_ a i) (Parser i a))) (function (_ == left right) (case [(/.result left []) (/.result right [])] [(#try.Success [_ left]) (#try.Success [_ right])] |