Ticket #213 (closed defect: fixed)
Haddock fails when advanced typesystem features are used
| Reported by: | SimonHengel | Owned by: | |
|---|---|---|---|
| Priority: | blocker | Milestone: | |
| Version: | 2.11.0 | Keywords: | |
| Cc: | merijn@… |
Description (last modified by SimonHengel) (diff)
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
Change History
Note: See
TracTickets for help on using
tickets.
