RE: Cmm comments are not Haddock comments---should this change?

2021-10-20 Thread Simon Peyton Jones via ghc-devs
Sounds like a good idea to me. I think `foo` works as we as @foo@ in Haddock comments, and is a whole lot less obtrusive when looking at the comments in their non-typeset form (which is all I ever do). Simon PS: I am leaving Microsoft at the end of November 2021, at which point simo...@micros

Re: Cmm comments are not Haddock comments---should this change?

2021-10-19 Thread Norman Ramsey
> As I refresh my memory about Cmm, I'm thinking of converting the > existing comments to Haddock comments. The only downside I can think > of is that the Haddock pages may appear more cluttered. > Is there any reason I should refrain? After sending email, I realized that I should make an iss