Update docstring of getLine
commitc784840cc2ff158383a3dd8315e23af1f81bc589
authorMort Yao <mort.yao@gmail.com>
dateTue 14 Apr 2015, 15:06 (12 years ago)
parentb9190ca
libs/prelude/Prelude.idr+1−1
@@ -346,7 +346,7 @@ partial
346346printLn : Show a => a -> IO' ffi ()
347347printLn x = putStrLn (show x)
348348
349−||| Read one line of input from stdin
349+||| Read one line of input from stdin, without the trailing newline
350350partial
351351getLine : IO' ffi String
352352getLine = prim_read