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/documentation/lux/world/shell.lux | |
| parent | 220c804f9136c73058802575ee49f3f769d5599f (diff) | |
Re-named "as_is" to "these" to avoid confusion with the new type-annotation macro names.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/documentation/lux/world/shell.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/documentation/lux/world/shell.lux b/stdlib/source/documentation/lux/world/shell.lux index b1b8a1de5..cccc8dc3e 100644 --- a/stdlib/source/documentation/lux/world/shell.lux +++ b/stdlib/source/documentation/lux/world/shell.lux @@ -50,7 +50,7 @@ ($.default /.normal) ($.default /.error) ($.default /.async) - (~~ (for @.jvm (~~ (as_is ($.default /.no_more_output) + (~~ (for @.jvm (~~ (these ($.default /.no_more_output) ($.default /.default))) - (~~ (as_is))))] + (~~ (these))))] [])))) |