diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/type/primitive.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/type/primitive.lux b/stdlib/source/test/lux/type/primitive.lux index c2be544ed..6b6f56535 100644 --- a/stdlib/source/test/lux/type/primitive.lux +++ b/stdlib/source/test/lux/type/primitive.lux @@ -25,7 +25,7 @@ (template.with_locals [g!Foo g!Bar] (these (with_template [<syntax> <meta>] - [(def: <syntax> + [(def <syntax> (syntax (_ []) (do meta.monad [frame <meta>] @@ -35,7 +35,7 @@ [specific (/.specific (template.text [g!Foo]))] ) - (def: with_no_active_frames + (def with_no_active_frames (syntax (_ [macro <code>.any]) (function (_ compiler) (let [verdict (case ((macro.expansion macro) compiler) @@ -54,7 +54,7 @@ (/.primitive (g!Bar a) Nat - (def: .public test + (def .public test Test (<| (_.covering /._) (_.for [/.primitive]) |