diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 78 |
1 files changed, 39 insertions, 39 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 818441adf..a99a19f5d 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -1,33 +1,33 @@ (.using - [library - [lux {"-" type symbol} - ["_" test {"+" Test}] - ["[0]" type ("[1]#[0]" equivalence)] - [abstract - ["[0]" monad {"+" do}] - [\\specification - ["$[0]" functor {"+" Injection Comparison}] - ["$[0]" apply] - ["$[0]" monad]]] - [control - [pipe {"+" case>}] - ["[0]" function] - ["[0]" try] - ["[0]" exception {"+" exception:}]] - [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] - [collection - ["[0]" list ("[1]#[0]" functor monoid)] - ["[0]" set]]] - [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] - [number - ["n" nat]]]]] - [\\library - ["[0]" /]]) + [library + [lux {"-" type symbol} + ["_" test {"+" Test}] + ["[0]" type ("[1]#[0]" equivalence)] + [abstract + ["[0]" monad {"+" do}] + [\\specification + ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" apply] + ["$[0]" monad]]] + [control + [pipe {"+" case>}] + ["[0]" function] + ["[0]" try] + ["[0]" exception {"+" exception:}]] + [data + ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" product] + ["[0]" text ("[1]#[0]" equivalence) + ["%" format {"+" format}]] + [collection + ["[0]" list ("[1]#[0]" functor monoid)] + ["[0]" set]]] + [math + ["[0]" random {"+" Random} ("[1]#[0]" monad)] + [number + ["n" nat]]]]] + [\\library + ["[0]" /]]) ... TODO: Remove the following 3 definitions ASAP. //.type already exists... (def: short @@ -189,7 +189,7 @@ (scenario {.#Ex ex} left) ))) (_.cover [/.invalid_type_application] - (let [scenario (scenario (text.contains? (value@ exception.#label /.invalid_type_application)))] + (let [scenario (scenario (text.contains? (the exception.#label /.invalid_type_application)))] (scenario {.#Apply left right} left))))) ))) @@ -326,9 +326,9 @@ Test ($_ _.and (_.cover [/.fresh_context] - (and (n.= 0 (value@ .#var_counter /.fresh_context)) - (n.= 0 (value@ .#ex_counter /.fresh_context)) - (list.empty? (value@ .#var_bindings /.fresh_context)))) + (and (n.= 0 (the .#var_counter /.fresh_context)) + (n.= 0 (the .#ex_counter /.fresh_context)) + (list.empty? (the .#var_bindings /.fresh_context)))) (_.cover [/.context] (and (case (/.result /.fresh_context /.context) {try.#Success actual} @@ -341,9 +341,9 @@ [_ /.var] /.context)) {try.#Success actual} - (and (n.= 1 (value@ .#var_counter actual)) - (n.= 0 (value@ .#ex_counter actual)) - (n.= 1 (list.size (value@ .#var_bindings actual)))) + (and (n.= 1 (the .#var_counter actual)) + (n.= 0 (the .#ex_counter actual)) + (n.= 1 (list.size (the .#var_bindings actual)))) {try.#Failure error} false))) @@ -353,9 +353,9 @@ [_ /.existential] /.context)) {try.#Success actual} - (and (n.= 0 (value@ .#var_counter actual)) - (n.= 1 (value@ .#ex_counter actual)) - (n.= 0 (list.size (value@ .#var_bindings actual)))) + (and (n.= 0 (the .#var_counter actual)) + (n.= 1 (the .#ex_counter actual)) + (n.= 0 (list.size (the .#var_bindings actual)))) {try.#Failure error} false)) |