testsuite/tests/deriving/should_fail/drvfail010.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE DeriveDataTypeable #-}

module ShouldFail where
import Data.Typeable

data A a b c d e f g h i j = A deriving (Typeable)
	-- Too many args

data B a b = B (a b) deriving (Typeable)
	-- Non type-kind args