diff options
| author | Eduardo Julian | 2022-03-30 13:12:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-30 13:12:18 -0400 |
| commit | 1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (patch) | |
| tree | b042049a8ff6036007d57c8253ce203a1ed90744 /stdlib/source/library/lux.lux | |
| parent | 220c804f9136c73058802575ee49f3f769d5599f (diff) | |
Re-named "as_is" to "these" to avoid confusion with the new type-annotation macro names.
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 |