Ticket #242 (closed defect: fixed)

Opened 22 months ago

Last modified 17 months ago

internal error: synifyKind

Reported by: feuerbach Owned by:
Priority: major Milestone:
Version: 2.13.1 Keywords:
Cc: roma@…, eir@…

Description

module M (Proxy) where

import Data.Proxy -- from the 'tagged' package

yields

haddock: internal error: synifyKind (haddock version 2.13.2)

Change History

Changed 17 months ago by goldfire

  • cc eir@… added

Now that Proxy is being defined in the base package (see http://ghc.haskell.org/trac/ghc/wiki/TypeLevelReasoning), this bug is holding up committing this change into master.

Changed 17 months ago by Fūzetsu

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

Fixed in HEAD by GHC HQ.

Changed 17 months ago by goldfire

I was the one to fix it, with advice from Simon PJ. Could someone who knows more about this end of haddock double-check to make sure that my fix (replacing the call to error by WithinType) is correct? Thanks!

Note: See TracTickets for help on using tickets.