Am Mittwoch, 31. Dezember 2003 17:48 schrieb Sven Panne: > Wolfgang Jeltsch wrote: > > I have a datatype > > Relation element1 element2 > > which derives an Eq instance. In the Haddock-generated documentation the > > instances section of Relation says > > (Ord element1, Ord element2, ??? element1 element2) => [...]. > > Why does Haddock generate this mysterious > > ??? element1 element2 > > context? > > Haddock doesn't do any real type inference, it only handles some "easy" > cases for deriving clauses. If you want nice documentation, you have to > fake things a little bit (cut-n-paste from my OpenGL stuff): > > ------------------------------------------------------------------------ > data GLmatrix a = GLmatrix MatrixOrder (ForeignPtr a) > #ifdef __HADDOCK__ > -- Help Haddock a bit, because it doesn't do any instance inference. > instance Eq (GLmatrix a) > instance Ord (GLmatrix a) > instance Show (GLmatrix a) > #else > deriving ( Eq, Ord, Show ) > #endif > ------------------------------------------------------------------------
Hello again, does Hugs understand C preprocessor macros? If not, your approach would be bad for me since I try to stay Hugs-compatible. > Cheers, > S. Happy New Year! Wolfgang _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
