Dear Committee If I recall correctly, in the tex-style literate haskell specification, code is delimited by a \begin{code} \end{code} This does not allow for multilanguage support in a single source file. It would be nice to have a single document in which we could mix English, Haskell, and, for example, Coq proofs. To this end, would it make more sense to delimit haskell code by \begin{haskell} \end{haskell} ? Cheers, Vivian Date: Fri, 06 Apr 2007 15:07:28 -0400

From: Isaac Dupree Subject: Literate Haskell specification To: haskell-prime@haskell.org Message-ID: <46169A70.80909@charter.net> Content-Type: text/plain; charset=ISO-8859-1

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1

As I brought up earlier in Haskell-cafe http://thread.gmane.org/gmane.comp.lang.haskell.cafe/20026 , the Haskell98 specification for literate haskell (report section 9.4) could use some work, at least clarifications (existing haskell implementations differ in some ways) - see that thread for details. Since I haven't successfully gotten to writing a concrete revision of that section, I thought I'd at least bring the issue to the attention of specifically haskell-prime people, as it is an issue that "should definitely" be addressed in the Report. Hopefully there's someone around here who might tackle it :)

Good luck, Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGFppvHgcxvIWYTTURAgoqAKDKFXaVBVeSfodzlgEte5Loy42unACfXfbl qDlxnSUaNH5rg8r58KAkKl8= =UVvx -----END PGP SIGNATURE-----