diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/type/check.lux')
| -rw-r--r-- | stdlib/source/test/lux/meta/type/check.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/meta/type/check.lux b/stdlib/source/test/lux/meta/type/check.lux index 5fd953e73..f82d5b74e 100644 --- a/stdlib/source/test/lux/meta/type/check.lux +++ b/stdlib/source/test/lux/meta/type/check.lux @@ -95,7 +95,7 @@ (def injection (Injection (All (_ a) (/.Check a))) - (at /.monad in)) + (of /.monad in)) (def comparison (Comparison (All (_ a) (/.Check a))) @@ -668,7 +668,7 @@ [parameter/0 parameter/1] (..non_twins //#= ..nominal) left_name ..symbol right_name ..symbol - ring_tail_size (at ! each (n.% 10) random.nat)] + ring_tail_size (of ! 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) @@ -890,7 +890,7 @@ [expected random.nat] (_.coverage [/.result] (when (/.result /.fresh_context - (at /.monad in expected)) + (of /.monad in expected)) {try.#Success actual} (same? expected actual) {try.#Failure error} false))) ..error_handling |