diff options
Diffstat (limited to 'stdlib/source/library/lux.lux')
| -rw-r--r-- | stdlib/source/library/lux.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 7cc43774e..67f2dc4d3 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -4804,7 +4804,7 @@ [rev ..Rev] ) -(macro: .public (as_is tokens compiler) +(macro: .public (these tokens compiler) {#Right [compiler tokens]}) (macro: .public (char tokens compiler) @@ -4880,7 +4880,7 @@ (failure (..wrong_syntax_error (symbol ..for))))) ... TODO: Delete "scope_type_vars" (including the #scope_type_vars Lux state) and "parameter" ASAP. -(for "{old}" (as_is (def: (scope_type_vars state) +(for "{old}" (these (def: (scope_type_vars state) (Meta (List Nat)) (case state [..#info info ..#source source ..#current_module _ ..#modules modules @@ -4903,7 +4903,7 @@ _ (failure (..wrong_syntax_error (symbol ..$)))))) - (as_is (def: .public parameter ""))) + (these (def: .public parameter ""))) (macro: .public (using _imports) (do meta_monad |