On Dec 11, 2009, at 23:30 , michael rice wrote:

I'm just noticing that "--" comments don't seem to work properly when the first character following them is a '*'.

I believe the spec only treats "-- " as a comment leader; this is why Haddock markup has a space between the "--" and the markup.

brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com

system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu

electrical and computer engineering, carnegie mellon university KF8NH