Out-of-memory crash when using RULES and type families
GHC(i) 7.4.1 crashes with an OOM error on the following code:
{-# LANGUAGE NoImplicitPrelude, TypeFamilies #-}
import Prelude (undefined,Bool(..),Show(..),(.))
type family Elem f :: *
type family Subst f b :: *
class (Subst fa (Elem fa) ~ fa) => F fa where
(<$>) :: (Elem fa ~ a, Elem fb ~ b,
Subst fa b ~ fb, Subst fb a ~ fa) =>
(a -> b) -> (fa -> fb)
{-# RULES
"map/map" forall f g xs. f <$> (g <$> xs) = (f.g) <$> xs
#-}
Trac metadata
Trac field | Value |
---|---|
Version | 7.4.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |