testsuite/tests/generics/GenCannotDoRep2.hs


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

{-# LANGUAGE DeriveGeneric       #-}
{-# LANGUAGE StandaloneDeriving  #-}
{-# LANGUAGE GADTs               #-}

module CannotDoRep2 where

import GHC.Generics

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

deriving instance Generic (Term a)