Ticket #242 (closed defect: fixed)

Opened 5 years ago

Last modified 4 years ago

internal error: synifyKind

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


module M (Proxy) where

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


haddock: internal error: synifyKind (haddock version 2.13.2)

Change History

Changed 4 years 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 4 years ago by Fūzetsu

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

Fixed in HEAD by GHC HQ.

Changed 4 years 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.