Skip to content

Generic1 crashes with tyConStupidTheta when using associated type families

{-# OPTIONS_GHC -Wall #-}
{-# Language TypeFamilies #-}
{-# Language DeriveGeneric #-}

import GHC.Generics

class Blah (a :: * -> *) where
  type F a :: * -> *

data Foo (f :: * -> *) a = MkFoo ((F f) a) deriving Generic1

--data Foo a = MkFoo ((F f) a) deriving Generic1 -- also crashes

the above code crashes GHC with error:

[1 of 1] Compiling Main             ( GenericBug.hs, GenericBug.o )
ghc: panic! (the 'impossible' happened)
  (GHC version 7.6.3 for x86_64-unknown-linux):
	tyConStupidTheta main:Main.F{tc ro4}

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
Trac metadata
Trac field Value
Version 7.6.3
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information