testsuite/tests/ghc-regress/generics/cannotDoRep2.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE DeriveRepresentable #-}
{-# LANGUAGE StandaloneDeriving  #-}
{-# LANGUAGE GADTs               #-}

module ShouldFail2 where

import GHC.Generics

-- We do not support GADTs
data Term a where
  Int :: Term Int

deriving instance Representable0 (Term a)