PROPOSAL: Literate Haskell in markdown noation
simonpj at microsoft.com
Tue Jun 25 09:00:22 CEST 2013
Certainly ok with me. Thanks!
(There should be a ticket; and user-manual docs.)
From: Iavor Diatchki [mailto:iavor.diatchki at gmail.com]
Sent: 24 June 2013 21:26
To: Trevor Elliott
Cc: ghc-devs at haskell.org; Simon Peyton-Jones
Subject: PROPOSAL: Literate Haskell in markdown noation
I think that good support for writing literate Haskell in markdown notation would be great! Over the weekend I updated the wiki page with a fairly detailed description of the proposal, which Trevor implemented.
What do folks think about the feature, and if we are happy with the design, would there be objections if I merged it in?
On Wed, Jun 19, 2013 at 4:28 PM, Trevor Elliott <trevor at galois.com<mailto:trevor at galois.com>> wrote:
I've implemented support for literate markdown in a branch . After doing a search on the bug tracker to see if anyone had already worked on this I came across bug #4836 , which details some unexpected interactions between the markdown format, unlit and CPP. Specifically, unlit attempts to keep CPP in the comment sections of a literate file, which clashes with the way that headings are defined in markdown.
The approach that I took is that when GHC is processing markdown files, it passes the -r and -# flags to unlit, causing it to remove CPP in the comment parts of the file. I've added support for .markdown and .md as source file extensions supported by GHC to be able to detect when this is necessary. CPP can still be used within code blocks, giving a path forward for the case where the file was generated by something that wishes to leave #line markers. I've documented the changes on the wiki at .
Does this approach sound reasonable? If so, should I attach a patch to #4836, or create a new ticket?
ghc-devs mailing list
ghc-devs at haskell.org<mailto:ghc-devs at haskell.org>
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs