
31 Jan
2008
31 Jan
'08
11:35 a.m.
"Alistair Bayley"
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