diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/compiler/reference/variable.lux')
-rw-r--r-- | stdlib/source/test/lux/meta/compiler/reference/variable.lux | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/meta/compiler/reference/variable.lux b/stdlib/source/test/lux/meta/compiler/reference/variable.lux index 9fe14eec1..b25c0e755 100644 --- a/stdlib/source/test/lux/meta/compiler/reference/variable.lux +++ b/stdlib/source/test/lux/meta/compiler/reference/variable.lux @@ -3,8 +3,9 @@ [lux (.except) [abstract [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["$[0]" equivalence] ["$[0]" hash]]] [data ["[0]" text (.use "[1]#[0]" equivalence)]] @@ -25,14 +26,16 @@ (def .public test Test (<| (_.covering /._) - (_.for [/.Variable]) + (_.for [/.Variable + /.#Local /.#Foreign]) (do [! random.monad] [register random.nat] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] ($hash.spec /.hash ..random)) + (_.coverage [/.self] (when (/.self) (/.self) true |