testsuite/tests/typecheck/should_fail/T9999.hs


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

{-# LANGUAGE PolyKinds, TypeFamilies, StandaloneDeriving #-}

module T9999 where

import Data.Typeable

data family F a

class C a where
  data F1 a
  type F2 a

main = typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)