diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/compiler/reference.lux')
-rw-r--r-- | stdlib/source/test/lux/meta/compiler/reference.lux | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/meta/compiler/reference.lux b/stdlib/source/test/lux/meta/compiler/reference.lux index 49bd3415c..145230014 100644 --- a/stdlib/source/test/lux/meta/compiler/reference.lux +++ b/stdlib/source/test/lux/meta/compiler/reference.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) @@ -40,13 +41,16 @@ (def .public test Test (<| (_.covering /._) - (_.for [/.Reference /.Constant]) + (_.for [/.Reference + /.#Constant /.#Variable + + /.Constant]) (do random.monad [expected_register random.nat expected_constant ..constant]) (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] ($hash.spec /.hash ..random)) |