diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index d8e92bebc..292cb35c1 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -93,7 +93,7 @@ (def: injection (Injection (All (_ a) (/.Check a))) - (# /.monad in)) + (at /.monad in)) (def: comparison (Comparison (All (_ a) (/.Check a))) @@ -666,7 +666,7 @@ [parameter/0 parameter/1] (..non_twins type#= ..nominal) left_name ..symbol right_name ..symbol - ring_tail_size (# ! each (n.% 10) random.nat)] + ring_tail_size (at ! each (n.% 10) random.nat)] (_.coverage [/.check] (and (..handles_nominal_types! name/0 name/1 parameter/0 parameter/1) (..handles_products! name/0 name/1) @@ -888,7 +888,7 @@ [expected random.nat] (_.coverage [/.result] (case (/.result /.fresh_context - (# /.monad in expected)) + (at /.monad in expected)) {try.#Success actual} (same? expected actual) {try.#Failure error} false))) ..error_handling |