[Haddock] [haddock] #213: Haddock fails when advanced typesystem features are used

[haddock]

#213: Haddock fails when advanced typesystem features are used
------------------------+---------------------------------------------------
Reporter:  SimonHengel  |        Owner:        
    Type:  defect       |       Status:  new   
Priority:  blocker      |    Milestone:  2.12.1
 Version:  2.11.0       |   Resolution:        
Keywords:               |  
------------------------+---------------------------------------------------
Changes (by SimonHengel):

  * milestone:  => 2.12.1


Old description:

> Here is an example:
> {{{
> {-# LANGUAGE DataKinds #-}
> {-# LANGUAGE GADTs #-}
> {-# LANGUAGE KindSignatures #-}
> {-# LANGUAGE TypeOperators #-}
> module Foo where
>
> data Pattern :: [*] -> * where
>   Nil :: Pattern '[]
>   Cons :: Maybe h -> Pattern t -> Pattern (h ': t)
> }}}
>
> This fails with:
>
> {{{
> haddock: internal error: renameType
> }}}
>
> Tested with Haddock 2.11.0 / GHC 7.4.2.

New description:

 Here is an example:
 {{{
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE TypeOperators #-}
 module Foo where

 data Pattern :: [*] -> * where
   Nil :: Pattern '[]
   Cons :: Maybe h -> Pattern t -> Pattern (h ': t)
 }}}

 This fails with:

 {{{
 haddock: internal error: renameType
 }}}

--

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