@@ -346,7 +346,7 @@ partial
346printLn : Show a => a -> IO' ffi ()
346printLn : Show a => a -> IO' ffi ()
347printLn x = putStrLn (show x)
347printLn x = putStrLn (show x)
349−||| Read one line of input from stdin
349+||| Read one line of input from stdin, without the trailing newline
351getLine : IO' ffi String
351getLine : IO' ffi String
352getLine = prim_read
352getLine = prim_read