alex/musicplayer
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Correct io_get_chars comment/documentation

Browse Source
This commit is contained in:
Alexander Heldt
2025-11-16 20:38:16 +01:00
parent a048e084e7
commit efc0604c1d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/input/internal.gleam
View File

@@ -10,6 +10,6 @@ pub type NotUsed
@external(erlang, "shell", "start_interactive") @external(erlang, "shell", "start_interactive")
pub fn shell_start_interactive(options: #(atom.Atom, atom.Atom)) -> NotUsed pub fn shell_start_interactive(options: #(atom.Atom, atom.Atom)) -> NotUsed
// https://www.erlang.org/doc/apps/stdlib/io.html#get_line/1 // https://www.erlang.org/doc/apps/stdlib/io.html#get_chars/2
@external(erlang, "io", "get_chars") @external(erlang, "io", "get_chars")
fn io_get_chars(prompt: String, count: Int) -> String fn io_get_chars(prompt: String, count: Int) -> String