7 Jun
2011
7 Jun
'11
4:06 p.m.
On 07/06/2011 10:55, Ivan Lazar Miljenovic wrote:
Another argument against special-casing "--|": what happens if you want to use a _different_ documentation generator (I don't know why you would, but someone might) than Haddock, which uses a different markup identifier?
We can declare new operators - why not new comment delimiters? That way Haddock could define --| and --^, other generators could declare whatever they wanted. The downside of this is that Haddock would have to be imported into every file which uses the markup.