diff options
Diffstat (limited to 'stdlib/source/test/lux.lux')
| -rw-r--r-- | stdlib/source/test/lux.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 9fed6be1a..ac59df0cc 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -216,16 +216,16 @@ (_.for [/.Interface] (all _.and (_.coverage [/.implementation:] - (n.= expected (# (global_returner expected) return []))) + (n.= expected (at (global_returner expected) return []))) (_.coverage [/.implementation] - (n.= expected (# local_returner return []))) + (n.= expected (at local_returner return []))) (_.coverage [/.open:] (n.= static_return (global#return []))) (_.coverage [/.open] (let [(/.open "local#[0]") local_returner] (n.= expected (local#return [])))) - (_.coverage [/.#] - (n.= expected (/.# local_returner return []))) + (_.coverage [/.at] + (n.= expected (/.at local_returner return []))) )))) (def: for_module @@ -361,7 +361,7 @@ (def: for_code Test (do [! random.monad] - [example (# ! each code.nat random.nat)] + [example (at ! each code.nat random.nat)] (all _.and (_.for [/.Code /.Code'] (all _.and @@ -376,7 +376,7 @@ ))) (/.macro: (identity_macro tokens) - (# meta.monad in tokens)) + (at meta.monad in tokens)) (def: crosshair "This is an arbitrary text whose only purpose is to be found, somewhere, in the source-code.") @@ -557,7 +557,7 @@ expected_left random.nat expected_right random.nat - .let [existential_type (# ! each (|>> {.#Ex}) random.nat)] + .let [existential_type (at ! each (|>> {.#Ex}) random.nat)] expected/0 existential_type expected/1 existential_type] (<| (_.for [/.Type]) @@ -970,8 +970,8 @@ (def: for_case Test (do [! random.monad] - [expected_nat (# ! each (n.% 1) random.nat) - expected_int (# ! each (i.% +1) random.int) + [expected_nat (at ! each (n.% 1) random.nat) + expected_int (at ! each (i.% +1) random.int) expected_rev (random.either (in .5) (in .25)) expected_frac (random.either (in +0.5) |