I have a bunch of (polymorphic) function declarations like foo :: C a => A a -- ^ comment -> B a -- ^ comment foo = ... and haddock does a very fine job on them. but then I wanted (needed) to specialize them, and to avoid duplicating information, I wrote type Foo a = A a -- ^ comment -> B a -- ^ comment foo :: C a => Foo a {-# SPECIALIZE foo :: Foo Int #-} problem is, haddock does not want to parse the comments in the type Foo definition. (I think in case of such errors (malformed annotation), haddock should try to ignore and continue, instead of just give up.) On the other hand, it would be still better if ghc would have something like -fauto-specialize-all (that is, for all instances that are needed for the current `main' definition) so that I wouldn't have to change the source code at all. I vaguely remember there was a preprocessor (independent of ghc, written by someone else) that did "full specialization"? -- -- Johannes Waldmann, Tel/Fax: (0341) 3076 6479 / 6480 -- ------ http://www.imn.htwk-leipzig.de/~waldmann/ ---------