#2516: Panic in typechecker when checking rules
-----------------------+----------------------------------------------------
Reporter: josef | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 6.8.2 | Severity: normal
Keywords: | Testcase:
Architecture: x86 | Os: Linux
-----------------------+----------------------------------------------------
GHC will panic when given either of the following modules. The error
messages are somewhat different for the two different rules.
{{{
module GHCBug1 where
foo :: (forall a . a -> f a) -> f Int
foo f = f undefined
{-# RULES
"bug1"
forall (g :: a -> f a) .
head (foo g) = undefined
#-}
}}}
{{{
module GHCBug2 where
foo :: (forall a . a -> f a) -> f Int
foo f = f undefined
{-# RULES
"bug2"
forall (g :: forall a . a -> f a) .
head (foo g) = undefined
#-}
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2516>
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
