[Haddock] [haddock] #242: internal error: synifyKind

[haddock]

#242: internal error: synifyKind
----------------------+-----------------------------------------------------
Reporter:  feuerbach  |        Owner:     
    Type:  defect     |       Status:  new
Priority:  major      |    Milestone:     
 Version:  2.13.1     |   Resolution:     
Keywords:             |  
----------------------+-----------------------------------------------------
Changes (by goldfire):

 * cc: eir at cis.upenn.edu (added)


Comment:

 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.

-- 
Ticket URL: <http://trac.haskell.org/haddock/ticket/242#comment:1>
haddock <http://www.haskell.org/haddock>
Haddock, The Haskell Documentation Tool