On 28 August 2010 21:33, Johannes Waldmann <waldm...@imn.htwk-leipzig.de> wrote: > >> > Perhaps Haddock could exclude class instance reporting when it cannot find >> > a >> > documentable link to a parameter? > > The "cannot find documentable link" problem also comes up > in situations like this (that don't involve type classes): > > module Ex ( foo ) where > data Secret = Secret > foo = Secret > > Should haddock generate documentation > for foo (since it is exported) > or not (since its result type is not exported)?
The more important question is "why doesn't it have a type signature?" :p How does GHC deal with that kind of situation? Off the top of my head, I would think that in terms of how you could use it, that would be equivalent to also exporting Secret (the type, not the constructor); i.e. "module Ex (Secret, foo) where ...". -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe