diff options
Diffstat (limited to 'stdlib/source/test/lux/control/function/contract.lux')
-rw-r--r-- | stdlib/source/test/lux/control/function/contract.lux | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux index dfad51e47..21c152053 100644 --- a/stdlib/source/test/lux/control/function/contract.lux +++ b/stdlib/source/test/lux/control/function/contract.lux @@ -1,20 +1,20 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - [monad {"+" do}]] - [control - ["[0]" try] - ["[0]" exception]] - [data - ["[0]" text]] - [math - ["[0]" random] - [number - ["n" nat]]]]] - [\\library - ["[0]" /]]) + [library + [lux "*" + ["_" test {"+" Test}] + [abstract + [monad {"+" do}]] + [control + ["[0]" try] + ["[0]" exception]] + [data + ["[0]" text]] + [math + ["[0]" random] + [number + ["n" nat]]]]] + [\\library + ["[0]" /]]) (def: .public test Test @@ -29,7 +29,7 @@ output {try.#Failure error} - (and (text.contains? (value@ exception.#label /.pre_condition_failed) + (and (text.contains? (the exception.#label /.pre_condition_failed) error) (not (n.even? expected))))) (_.cover [/.post /.post_condition_failed] @@ -39,7 +39,7 @@ (same? expected actual) {try.#Failure error} - (and (text.contains? (value@ exception.#label /.post_condition_failed) + (and (text.contains? (the exception.#label /.post_condition_failed) error) (not (n.odd? expected))))) ))) |