[Haddock] [haddock] #212: Instance contexts are not reduced, leaving them overly complex (and non-portable) (was: Investigate unexpected change with (Monad (Either e)) instance)

[haddock]

#212: Instance contexts are not reduced, leaving them overly complex (and non-
portable)
------------------------+---------------------------------------------------
Reporter:  SimonHengel  |        Owner:        
    Type:  defect       |       Status:  new   
Priority:  major        |    Milestone:  2.13.2
 Version:  2.13.1       |   Resolution:        
Keywords:               |  
------------------------+---------------------------------------------------
Changes (by ross):

  * type:  task => defect


Comment:

 Haddock no longer reduces instance contexts, so the docs for
 [http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Ord.html
 Data.Ord] display non-portable instances like
 {{{
 (Eq [a], Ord a) => Ord [a]
 (Eq (Maybe a), Ord a) => Ord (Maybe a)
 Eq (Ptr a) => Ord (Ptr a)
 }}}
 which should be
 {{{
 Ord a => Ord [a]
 Ord a => Ord (Maybe a)
 Ord (Ptr a)
 }}}
 This is presumably connected to GHC's lazy instance reduction.

-- 
Ticket URL: <http://trac.haskell.org/haddock/ticket/212#comment:4>
haddock <http://www.haskell.org/haddock>
Haddock, The Haskell Documentation Tool