Haddock

[Simon Peyton-Jones]

Simon, David

I'm a little concerned that Haddock may not have quite the right idea.

In Haddock.Convert I see

-- the main function here! yay!
tyThingToLHsDecl :: TyThing -> LHsDecl Name

But for a family instance, the right place to start is from the [FamInst], as presumably you do for the type class instances, which have a [ClsInst].  Yet the tyThingToLHsDecl does stuff with CoAxioms...

You should really think of a CoAxiom as a supporting thing that must be in the type env, with the same relationship to its FamInst as a DFunId as to its ClsInst.

Happy to elaborate further... just flagging something that is, I think, not quite right.

Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/cvs-ghc/attachments/20120319/ec872b4d/attachment.htm>