aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/macro.lux1
-rw-r--r--stdlib/source/test/lux/macro/syntax/definition.lux5
-rw-r--r--stdlib/source/test/lux/meta.lux9
3 files changed, 13 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux
index 93f2f8530..a335aa996 100644
--- a/stdlib/source/test/lux/macro.lux
+++ b/stdlib/source/test/lux/macro.lux
@@ -103,6 +103,7 @@
#.seed seed
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []}])))
(def: expander
diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux
index 11074fbc7..e76d65a7b 100644
--- a/stdlib/source/test/lux/macro/syntax/definition.lux
+++ b/stdlib/source/test/lux/macro/syntax/definition.lux
@@ -51,6 +51,7 @@
#.seed 0
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []})
(def: .public test
@@ -84,12 +85,12 @@
(#try.Success actual)
(\ /.equivalence = expected actual))))
- (_.cover [/.lacks_type!]
+ (_.cover [/.lacks_type]
(let [expected (with@ #/.value (#.Right untyped_value) expected)]
(case (<code>.result (/.typed compiler)
(list (/.format expected)))
(#try.Failure error)
- (exception.match? /.lacks_type! error)
+ (exception.match? /.lacks_type error)
(#try.Success actual)
false)))
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index a56457c9c..742523a67 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -65,6 +65,7 @@
#.seed expected_seed
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []}]]
($_ _.and
(_.cover [/.result]
@@ -112,6 +113,7 @@
#.seed expected_seed
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []}]]
($_ _.and
(_.cover [/.failure]
@@ -212,6 +214,7 @@
#.seed expected_seed
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []}]]
(<| (_.for [.Module])
($_ _.and
@@ -310,6 +313,7 @@
#.seed expected_seed
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []}]]
($_ _.and
(_.cover [/.seed]
@@ -401,6 +405,7 @@
#.seed 0
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []}])))]]
($_ _.and
(_.cover [.Global .Alias /.globals]
@@ -522,6 +527,7 @@
#.seed 0
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []}])))]]
($_ _.and
(_.cover [/.export]
@@ -703,6 +709,7 @@
#.seed 0
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []})]]
($_ _.and
(_.cover [/.tag_lists]
@@ -812,6 +819,7 @@
#.seed 0
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []})]]
($_ _.and
(_.cover [.Scope /.locals]
@@ -918,6 +926,7 @@
#.seed expected_seed
#.scope_type_vars (list)
#.extensions []
+ #.eval (:as (-> Type Code (Meta Any)) [])
#.host []}]]
($_ _.and
(_.for [/.functor]