testsuite/tests/generics/GenCannotDoRep1_8.hs


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

{-# LANGUAGE DeriveGeneric, TypeFamilies      #-}

module GenCannotDoRep1_8 where

import GHC.Generics

data B a = B (a -> Int)

type family TF (a :: *) :: *

-- We do not support type families
data T a = T (TF a) deriving Generic1