diff options
| author | Eduardo Julian | 2022-08-11 04:15:07 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-11 04:15:07 -0400 |
| commit | 065e8a4d8122d4616b570496915d2c0e2c78cd6b (patch) | |
| tree | f2bbdc3e40b796b34026ab04c9a478d8a3f082d5 /stdlib/source/library/lux/world/shell.lux | |
| parent | 68d78235694c633c956bb9e8a007cad7d65370bc (diff) | |
Re-named the "case" macro to "when".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/world/shell.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux index 4e9bd0d37..5ab10bba6 100644 --- a/stdlib/source/library/lux/world/shell.lux +++ b/stdlib/source/library/lux/world/shell.lux @@ -250,7 +250,7 @@ [(def (<name> _) (do ! [output (java/io/BufferedReader::readLine <stream>)] - (case output + (when output {.#Some output} (in (ffi.of_string output)) @@ -332,7 +332,7 @@ [(def (<name> _) (do [! io.monad] [|state| (atom.read! state)] - (case (at mock <mock> |state|) + (when (at mock <mock> |state|) {try.#Success [|state| output]} (do ! [_ (atom.write! |state| state)] @@ -348,7 +348,7 @@ (def (write message) (do [! io.monad] [|state| (atom.read! state)] - (case (at mock on_write message |state|) + (when (at mock on_write message |state|) {try.#Success |state|} (do ! [_ (atom.write! |state| state)] @@ -359,7 +359,7 @@ (def (destroy _) (do [! io.monad] [|state| (atom.read! state)] - (case (at mock on_destroy |state|) + (when (at mock on_destroy |state|) {try.#Success |state|} (do ! [_ (atom.write! |state| state)] |