What separates lines in Haskell code?
isaacdupree at charter.net
Thu Jun 14 09:11:12 EDT 2007
-----BEGIN PGP SIGNED MESSAGE-----
In the report, under the layout rule (section 9.3), "The characters
newline, return, linefeed, and formfeed, all start a new line." (Which
four characters are those? from http://en.wikipedia.org/wiki/Linefeed ,
I'm guessing "LF: Line Feed, U+000A", "CR: Carriage Return, U+000D",
"FF: Form Feed, U+000C", and what's the fourth one? Newline usually
refers to '\n', which is LF, but linefeed has a direct name
correspondence to that also!)
The literate haskell section 9.4 just talks about lines without being
specific about how they're specified. My proposed sample implementation
uses Prelude.lines ...
Prelude.lines presumes that lines are separated only by '\n'.
(Of course, for Prelude.unlines to be an inverse operation (which it's
not anyway) there has to be only one character that makes a line-separation)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
More information about the Haskell-prime