From f072b5cf80855e4a790bab134e6f0d8d0da109e3 Mon Sep 17 00:00:00 2001
From: Louis Pilfold <louis@lpil.uk>
Date: Sat, 31 Jul 2021 18:10:27 +0100
Subject: Remove io.get_line

---
 src/gleam/io.gleam | 21 ---------------------
 1 file changed, 21 deletions(-)

(limited to 'src')

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
@@ -88,27 +88,6 @@ if javascript {
     "../gleam_stdlib.js" "log"
 }
 
-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
 
-- 
cgit v1.2.3