Commit fca24919 authored by jpm@cs.ox.ac.uk's avatar jpm@cs.ox.ac.uk
Browse files

Add test for T5863

As apparently there is already a test named T5863,
I named this one T5863a.
parent 9918965f
{-# LANGUAGE DeriveDataTypeable, TypeFamilies #-}
import Data.Typeable
class C a where
data T a :: *
instance C Int where
data T Int = A1 deriving (Typeable)
instance C Bool where
data T Bool = A2 deriving (Typeable)
T5863a.hs:9:31:
Can't make a derived instance of ‛Typeable * (T Int)’:
Deriving Typeable is not allowed for family instances;
derive Typeable for ‛T’ alone
In the data instance declaration for ‛T’
T5863a.hs:12:32:
Can't make a derived instance of ‛Typeable * (T Bool)’:
Deriving Typeable is not allowed for family instances;
derive Typeable for ‛T’ alone
In the data instance declaration for ‛T’
......@@ -39,3 +39,4 @@ test('T1133A',
extra_clean(['T1133A.o-boot', 'T1133A.hi-boot']),
run_command,
['$MAKE --no-print-directory -s T1133A'])
test('T5863a', normal, compile_fail, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment