diff options
| author | Louis Pilfold <louis@lpil.uk> | 2021-07-31 18:10:27 +0100 |
|---|---|---|
| committer | Louis Pilfold <louis@lpil.uk> | 2021-07-31 18:10:27 +0100 |
| commit | f072b5cf80855e4a790bab134e6f0d8d0da109e3 (patch) | |
| tree | 89db1bd64dcbb8c126707aba94a129ccb6d826d8 /src | |
| parent | f78920f014e2e2b3d512bd5703902bbdba68eb4f (diff) | |
| download | gleam_stdlib-f072b5cf80855e4a790bab134e6f0d8d0da109e3.tar.gz gleam_stdlib-f072b5cf80855e4a790bab134e6f0d8d0da109e3.zip | |
Remove io.get_line
Diffstat (limited to 'src')
| -rw-r--r-- | src/gleam/io.gleam | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/gleam/io.gleam b/src/gleam/io.gleam index 4b61eec..86ca2c5 100644 --- a/src/gleam/io.gleam +++ b/src/gleam/io.gleam @@ -89,27 +89,6 @@ if javascript { } if erlang { - /// Error value returned by `get_line` function - /// - pub type GetLineError { - Eof - NoData - } - - // TODO: move to OS library - /// Reads a line from standard input with the given prompt. - /// - /// # Example - /// - /// > io.get_line("Language: ") - /// // -> Language: <- gleam - /// Ok("gleam\n") - /// - pub external fn get_line(prompt: String) -> Result(String, GetLineError) = - "gleam_stdlib" "get_line" -} - -if erlang { external type DoNotLeak external fn erl_print(String, List(a)) -> DoNotLeak = |