[Haddock] [haddock] #189: Incorrect or at least misleading output with PolyKinds + TypeOperators
haddock
haddock at projects.haskell.org
Fri Nov 25 18:22:53 GMT 2011
#189: Incorrect or at least misleading output with PolyKinds + TypeOperators
----------------------+-----------------------------------------------------
Reporter: illissius | Owner:
Type: defect | Status: new
Priority: minor | Milestone: 2.10.0
Version: 2.9.2 | Keywords:
----------------------+-----------------------------------------------------
The code
{{{
{-# LANGUAGE PolyKinds, ConstraintKinds, TypeOperators,
MultiParamTypeClasses, FlexibleInstances, UndecidableInstances #-}
class (c a, d a) => (c :&: d) a
instance (c a, d a) => (c :&: d) a
}}}
produces the following documentation for the instance:
{{{
Instances
(c a, d a) => (k :&: c) d a
}}}
I don't know where it should be, but that k is clearly not in the right
place.
--
Ticket URL: <http://trac.haskell.org/haddock/ticket/189>
haddock <http://www.haskell.org/haddock>
Haddock, The Haskell Documentation Tool
More information about the Haddock
mailing list