id	summary	reporter	owner	description	type	status	priority	milestone	version	resolution	keywords	cc
213	Haddock fails when advanced typesystem features are used	SimonHengel		"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
}}}"	defect	closed	blocker		2.11.0	fixed		merijn@…