aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type/check.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/type/check.lux')
-rw-r--r--stdlib/source/test/lux/type/check.lux121
1 files changed, 60 insertions, 61 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index 57df78e84..ef086d142 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/type/check.lux
@@ -16,7 +16,6 @@
[data
["." bit ("#\." equivalence)]
["." product]
- ["." maybe]
["." text ("#\." equivalence)
["%" format (#+ format)]]
[collection
@@ -96,7 +95,7 @@
(def: comparison
(Comparison (All [a] (/.Check a)))
(function (_ == left right)
- (case [(/.run /.fresh_context left) (/.run /.fresh_context right)]
+ (case [(/.result /.fresh_context left) (/.result /.fresh_context right)]
[(#try.Success left) (#try.Success right)]
(== left right)
@@ -122,26 +121,26 @@
(do random.monad
[expected (random.ascii/upper 10)]
(_.cover [/.failure]
- (case (/.run /.fresh_context
- (: (/.Check Any)
- (/.failure expected)))
+ (case (/.result /.fresh_context
+ (: (/.Check Any)
+ (/.failure expected)))
(#try.Success _) false
(#try.Failure actual) (is? expected actual))))
(do random.monad
[expected (random.ascii/upper 10)]
(_.cover [/.assertion]
- (and (case (/.run /.fresh_context
- (: (/.Check Any)
- (/.assertion expected true)))
+ (and (case (/.result /.fresh_context
+ (: (/.Check Any)
+ (/.assertion expected true)))
(#try.Success _) true
(#try.Failure actual) false)
- (case (/.run /.fresh_context (/.assertion expected false))
+ (case (/.result /.fresh_context (/.assertion expected false))
(#try.Success _) false
(#try.Failure actual) (is? expected actual)))))
(_.cover [/.except]
- (case (/.run /.fresh_context
- (: (/.Check Any)
- (/.except ..yolo [])))
+ (case (/.result /.fresh_context
+ (: (/.Check Any)
+ (/.except ..yolo [])))
(#try.Success _) false
(#try.Failure error) (exception.match? ..yolo error)))
))
@@ -151,21 +150,21 @@
(<| (_.for [/.Var])
($_ _.and
(_.cover [/.var]
- (case (/.run /.fresh_context
- (do /.monad
- [[var_id var_type] /.var]
- (in (type\= var_type (#.Var var_id)))))
+ (case (/.result /.fresh_context
+ (do /.monad
+ [[var_id var_type] /.var]
+ (in (type\= var_type (#.Var var_id)))))
(#try.Success verdict) verdict
(#try.Failure error) false))
(do random.monad
[nominal (random.ascii/upper 10)]
(_.cover [/.bind]
- (case (/.run /.fresh_context
- (do /.monad
- [[var_id var_type] /.var
- _ (/.bind (#.Primitive nominal (list))
- var_id)]
- (in true)))
+ (case (/.result /.fresh_context
+ (do /.monad
+ [[var_id var_type] /.var
+ _ (/.bind (#.Primitive nominal (list))
+ var_id)]
+ (in true)))
(#try.Success _) true
(#try.Failure error) false)))
(do random.monad
@@ -179,7 +178,7 @@
post (/.bound? var_id)]
(in (and (not pre)
post)))
- (/.run /.fresh_context)
+ (/.result /.fresh_context)
(try.else false))
(|> (do /.monad
[[var_id var/0] /.var
@@ -189,18 +188,18 @@
post (/.bound? var_id)]
(in (and (not pre)
(not post))))
- (/.run /.fresh_context)
+ (/.result /.fresh_context)
(try.else false)))))
(do random.monad
[nominal (random.ascii/upper 10)]
(_.cover [/.cannot_rebind_var]
- (case (/.run /.fresh_context
- (do /.monad
- [[var_id var_type] /.var
- _ (/.bind (#.Primitive nominal (list))
- var_id)]
- (/.bind (#.Primitive nominal (list))
- var_id)))
+ (case (/.result /.fresh_context
+ (do /.monad
+ [[var_id var_type] /.var
+ _ (/.bind (#.Primitive nominal (list))
+ var_id)]
+ (/.bind (#.Primitive nominal (list))
+ var_id)))
(#try.Success _)
false
@@ -210,9 +209,9 @@
[nominal (random.ascii/upper 10)
var_id random.nat]
(_.cover [/.unknown_type_var]
- (case (/.run /.fresh_context
- (/.bind (#.Primitive nominal (list))
- var_id))
+ (case (/.result /.fresh_context
+ (/.bind (#.Primitive nominal (list))
+ var_id))
(#try.Success _)
false
@@ -225,7 +224,7 @@
(and (|> (do /.monad
[[var_id var_type] /.var]
(/.read var_id))
- (/.run /.fresh_context)
+ (/.result /.fresh_context)
(case> (#try.Success #.None) true
_ false))
(|> (do /.monad
@@ -233,14 +232,14 @@
[_ var/1] /.var
_ (/.check var/0 var/1)]
(/.read var_id))
- (/.run /.fresh_context)
+ (/.result /.fresh_context)
(case> (#try.Success #.None) true
_ false))
(|> (do /.monad
[[var_id var_type] /.var
_ (/.bind expected var_id)]
(/.read var_id))
- (/.run /.fresh_context)
+ (/.result /.fresh_context)
(case> (#try.Success (#.Some actual))
(is? expected actual)
@@ -250,11 +249,11 @@
[nominal (random.ascii/upper 10)
.let [expected (#.Primitive nominal (list))]]
(_.cover [/.read!]
- (case (/.run /.fresh_context
- (do /.monad
- [[var_id var_type] /.var
- _ (/.bind expected var_id)]
- (/.read! var_id)))
+ (case (/.result /.fresh_context
+ (do /.monad
+ [[var_id var_type] /.var
+ _ (/.bind expected var_id)]
+ (/.read! var_id)))
(#try.Success actual)
(is? expected actual)
@@ -264,10 +263,10 @@
[nominal (random.ascii/upper 10)
.let [expected (#.Primitive nominal (list))]]
(_.cover [/.unbound_type_var]
- (case (/.run /.fresh_context
- (do /.monad
- [[var_id var_type] /.var]
- (/.read! var_id)))
+ (case (/.result /.fresh_context
+ (do /.monad
+ [[var_id var_type] /.var]
+ (/.read! var_id)))
(#try.Failure error)
(exception.match? /.unbound_type_var error)
@@ -283,16 +282,16 @@
(n.= 0 (get@ #.ex_counter /.fresh_context))
(list.empty? (get@ #.var_bindings /.fresh_context))))
(_.cover [/.context]
- (and (case (/.run /.fresh_context /.context)
+ (and (case (/.result /.fresh_context /.context)
(#try.Success actual)
(is? /.fresh_context actual)
(#try.Failure error)
false)
- (case (/.run /.fresh_context
- (do /.monad
- [_ /.var]
- /.context))
+ (case (/.result /.fresh_context
+ (do /.monad
+ [_ /.var]
+ /.context))
(#try.Success actual)
(and (n.= 1 (get@ #.var_counter actual))
(n.= 0 (get@ #.ex_counter actual))
@@ -301,10 +300,10 @@
(#try.Failure error)
false)))
(_.cover [/.existential]
- (case (/.run /.fresh_context
- (do /.monad
- [_ /.existential]
- /.context))
+ (case (/.result /.fresh_context
+ (do /.monad
+ [_ /.existential]
+ /.context))
(#try.Success actual)
(and (n.= 0 (get@ #.var_counter actual))
(n.= 1 (get@ #.ex_counter actual))
@@ -316,7 +315,7 @@
(def: succeeds?
(All [a] (-> (/.Check a) Bit))
- (|>> (/.run /.fresh_context)
+ (|>> (/.result /.fresh_context)
(case> (#try.Success _)
true
@@ -687,7 +686,7 @@
cleanedT (/.clean (type_shape varT))]
(in (type\= (type_shape varT)
cleanedT)))
- (/.run /.fresh_context)
+ (/.result /.fresh_context)
(try.else false))
(|> (do /.monad
[[var_id varT] /.var
@@ -696,7 +695,7 @@
cleanedT (/.clean (type_shape varT))]
(in (type\= (type_shape replacementT)
cleanedT)))
- (/.run /.fresh_context)
+ (/.result /.fresh_context)
(try.else false))
))))
@@ -708,9 +707,9 @@
..polymorphism
(do random.monad
[expected random.nat]
- (_.cover [/.run]
- (case (/.run /.fresh_context
- (\ /.monad in expected))
+ (_.cover [/.result]
+ (case (/.result /.fresh_context
+ (\ /.monad in expected))
(#try.Success actual) (is? expected actual)
(#try.Failure error) false)))
..error_handling
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 01:35:33 +0000