Ticket #213 (closed defect: fixed)

Opened 2 years ago

Last modified 23 months ago

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

Changed 2 years ago by SimonHengel

  • version set to 2.11.0

Changed 2 years ago by SimonHengel

  • description modified (diff)
  • milestone set to 2.12.1

Changed 23 months ago by SimonHengel

  • status changed from new to closed
  • resolution set to fixed

Changed 23 months ago by anonymous

  • milestone 2.12.1 deleted

Milestone 2.12.1 deleted

Note: See TracTickets for help on using tickets.