aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux.lux')
-rw-r--r--stdlib/source/test/lux.lux11
1 files changed, 7 insertions, 4 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index d2af0e624..916f1dbc2 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -341,7 +341,8 @@
example_nat random.nat
example_int random.int]
(all _.and
- (_.for [/.Code /.Code']
+ (_.for [/.Code /.Code'
+ /.#Bit /.#Nat /.#Int /.#Rev /.#Frac /.#Text /.#Symbol /.#Form /.#Variant /.#Tuple]
(all _.and
..for_code/'
..for_code/`
@@ -1107,15 +1108,17 @@
(do meta.monad
[prelude (meta.module .prelude)]
(in (list (code.bit (when (the .#module_state prelude)
- {.#Active} false
- _ true)))))))
+ {/.#Active} false
+ {/.#Compiled} true
+ {/.#Cached} true)))))))
(def for_meta
Test
(all _.and
(_.coverage [/.Mode /.Info]
(for_meta|Info))
- (_.coverage [/.Module_State]
+ (_.coverage [/.Module_State
+ /.#Active /.#Compiled /.#Cached]
(for_meta|Module_State))
))