Add test case for read_line when the line ends with a EOF

HigherOrderCO · Aug 29, 2024 · 74bd796 · 74bd796
1 parent 2446f3c
commit 74bd796
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/tests/golden_tests/io/eof.txt b/tests/golden_tests/io/eof.txt
@@ -0,0 +1 @@
+text
diff --git a/tests/golden_tests/io/read_line_eof.bend b/tests/golden_tests/io/read_line_eof.bend
@@ -0,0 +1,6 @@
+def main:
+  with IO:
+    fd <- IO/done_on_err(IO/FS/open("tests/golden_tests/io/eof.txt", "r"))
+    bytes <- IO/FS/read_line(fd)
+    txt = String/decode_utf8(bytes)
+    return wrap(txt)