GitLab

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