diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/type/check.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux index aaac468d1..a42a519df 100644 --- a/stdlib/source/library/lux/type/check.lux +++ b/stdlib/source/library/lux/type/check.lux @@ -157,7 +157,7 @@ (var::put id value plist'))))) (def: .public (result context proc) - (All [a] (-> Type_Context (Check a) (Try a))) + (All (_ a) (-> Type_Context (Check a) (Try a))) (case (proc context) (#try.Success [context' output]) (#try.Success output) @@ -166,7 +166,7 @@ (#try.Failure error))) (def: .public (failure message) - (All [a] (-> Text (Check a))) + (All (_ a) (-> Text (Check a))) (function (_ context) (#try.Failure message))) @@ -178,7 +178,7 @@ (#try.Failure message)))) (def: .public (except exception message) - (All [e a] (-> (Exception e) e (Check a))) + (All (_ e a) (-> (Exception e) e (Check a))) (..failure (exception.error exception message))) (def: .public existential @@ -328,7 +328,7 @@ #.var_bindings (list)}) (def: (attempt op) - (All [a] (-> (Check a) (Check (Maybe a)))) + (All (_ a) (-> (Check a) (Check (Maybe a)))) (function (_ context) (case (op context) (#try.Success [context' output]) @@ -338,7 +338,7 @@ (#try.Success [context #.None])))) (def: (either left right) - (All [a] (-> (Check a) (Check a) (Check a))) + (All (_ a) (-> (Check a) (Check a) (Check a))) (function (_ context) (case (left context) (#try.Failure _) @@ -356,7 +356,7 @@ ... TODO: "if_can_bind" can be optimized... (def: (if_can_bind id type then else) - (All [a] + (All (_ a) (-> Var Type (Check a) (-> Type (Check a)) (Check a))) ($_ either @@ -454,7 +454,7 @@ (check' assumptions etype atype)))))) (def: silent_failure! - (All [a] (Check a)) + (All (_ a) (Check a)) (..failure "")) ... TODO: "check_apply" can be optimized... @@ -545,7 +545,7 @@ ..silent_failure!))) (def: (with exception parameter check) - (All [e a] (-> (Exception e) e (Check a) (Check a))) + (All (_ e a) (-> (Exception e) e (Check a) (Check a))) (|>> check (exception.with exception parameter))) |