diff options
Diffstat (limited to 'stdlib/source/test/lux/tool/compiler/phase.lux')
-rw-r--r-- | stdlib/source/test/lux/tool/compiler/phase.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux index 6fa17a691..b5d392112 100644 --- a/stdlib/source/test/lux/tool/compiler/phase.lux +++ b/stdlib/source/test/lux/tool/compiler/phase.lux @@ -68,7 +68,7 @@ _ false)) (|> (/.lifted {try.#Success expected}) - (# /.functor each (same? expected)) + (at /.functor each (same? expected)) (/.result state) (try.else false)))) (_.coverage [/.except] @@ -105,24 +105,24 @@ (all _.and (_.coverage [/.state] (|> /.state - (# /.functor each (same? state)) + (at /.functor each (same? state)) (/.result state) (try.else false))) (_.coverage [/.with] (|> (do /.monad [_ (/.with state)] /.state) - (# /.functor each (same? state)) + (at /.functor each (same? state)) (/.result dummy) (try.else false))) (_.coverage [/.sub] - (|> (/.sub [(# n.hex encoded) + (|> (/.sub [(at n.hex encoded) (function (_ new old) - (|> new (# n.hex decoded) (try.else dummy)))] + (|> new (at n.hex decoded) (try.else dummy)))] (do /.monad [state/hex /.state] (in (|> state - (# n.hex encoded) + (at n.hex encoded) (text#= state/hex))))) (/.result' state) (pipe.case {try.#Success [state' verdict]} @@ -145,7 +145,7 @@ ($monad.spec ..injection (..comparison state) /.monad)) (_.coverage [/.result] - (|> (# /.monad in expected) + (|> (at /.monad in expected) (/.result state) (pipe.case {try.#Success actual} (same? expected actual) @@ -153,7 +153,7 @@ _ false))) (_.coverage [/.result'] - (|> (# /.monad in expected) + (|> (at /.monad in expected) (/.result' state) (pipe.case {try.#Success [state' actual]} (and (same? state state') @@ -180,10 +180,10 @@ (_.coverage [/.composite] (let [phase (/.composite (is (/.Phase Nat Int Frac) (function (_ archive input) - (# /.monad in (i.frac input)))) + (at /.monad in (i.frac input)))) (is (/.Phase Rev Frac Text) (function (_ archive input) - (# /.monad in (%.frac input)))))] + (at /.monad in (%.frac input)))))] (|> (phase archive.empty expected) (/.result' [state/0 state/1]) (pipe.case {try.#Success [[state/0' state/1'] actual]} |