31 Jan
2008
31 Jan
'08
4:35 p.m.
"Alistair Bayley" <alistair@abayley.org> writes:
I have a feeling his preprocessor doesn't cover this case, from a brief inspection. He uses {- -} to delimit comment sections, rather than -- for comment lines.
Yes, that's right, it doesn't permit a non-haddock comment to follow a haddock comment. -- Jón Fairbairn Jon.Fairbairn@cl.cam.ac.uk