From efc0604c1dc4bc8b1c1a992e6386027a24fefdb0 Mon Sep 17 00:00:00 2001 From: Alexander Heldt Date: Sun, 16 Nov 2025 20:38:16 +0100 Subject: [PATCH] Correct `io_get_chars` comment/documentation --- src/input/internal.gleam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/input/internal.gleam b/src/input/internal.gleam index bb8fbc1..cf1f7f9 100644 --- a/src/input/internal.gleam +++ b/src/input/internal.gleam @@ -10,6 +10,6 @@ pub type NotUsed @external(erlang, "shell", "start_interactive") 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") fn io_get_chars(prompt: String, count: Int) -> String