#2775: Type Family panic
---------------------------------+------------------------------------------
Reporter: camio | Owner: chak
Type: bug | Status: new
Priority: normal | Milestone: 6.10.2
Component: Compiler | Version: 6.10.1
Severity: blocker | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Changes (by ganesh):
* cc: ganesh (added)
Comment:
I think this is another example of the same problem:
{{{
{-# LANGUAGE RankNTypes, TypeFamilies #-}
module Main where
data A = A { unA :: forall p . p ~ Int => p -> p }
conv :: A -> Int
conv a = unA a 0
}}}
BTW both examples work in ghc 6.11.20090130, so perhaps there's something
that can be merged or perhaps this bug should be punted to 6.12.
[To try the original example above in 6.11 you need to insert dummy
declarations for {{{VectorSpace}}} and {{{Scalar}}} as the vector-space
package from hackage fails to install due to a different GHC panic]
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2775#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
