aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/meta/compiler/reference/variable.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/meta/compiler/reference/variable.lux')
-rw-r--r--stdlib/source/test/lux/meta/compiler/reference/variable.lux9
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