[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