Commit ebccce19 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #2851, and update error message for other tests

parent 14b60909
{-# LANGUAGE TypeFamilies #-}
-- Test Trac #2851
module T2851 where
type family F a :: *
data D a = D (F a)
deriving (Show)
T2851.hs:9:14:
No instance for (Show (F a))
arising from the 'deriving' clause of a data type declaration
at T2851.hs:9:14-17
Possible fix: add an instance declaration for (Show (F a))
Alternative fix: use a standalone 'deriving instance' declaration instead,
so you can specify the instance context yourself
When deriving the instance for (Show (D a))
......@@ -21,3 +21,4 @@ test('drvfail016',
test('T2394', normal, compile_fail, [''])
test('T2604', normal, compile_fail, [''])
test('T2701', normal, compile_fail, [''])
test('T2851', normal, compile_fail, [''])
......@@ -4,4 +4,6 @@ drvfail001.hs:16:18:
arising from the 'deriving' clause of a data type declaration
at drvfail001.hs:16:18-21
Possible fix: add an instance declaration for (Show (f (f a)))
Alternative fix: use a standalone 'deriving instance' declaration
instead, so you can specify the instance context yourself
When deriving the instance for (Show (SM f a))
......@@ -4,4 +4,6 @@ drvfail003.hs:16:55:
arising from the 'deriving' clause of a data type declaration
at drvfail003.hs:16:55-58
Possible fix: add an instance declaration for (Show (v (v a)))
Alternative fix: use a standalone 'deriving instance' declaration
instead, so you can specify the instance context yourself
When deriving the instance for (Show (Square_ v w a))
......@@ -4,4 +4,6 @@ drvfail004.hs:8:11:
arising from the 'deriving' clause of a data type declaration
at drvfail004.hs:8:11-13
Possible fix: add an instance declaration for (Eq (Foo a b))
Alternative fix: use a standalone 'deriving instance' declaration
instead, so you can specify the instance context yourself
When deriving the instance for (Ord (Foo a b))
......@@ -4,4 +4,6 @@ drvfail007.hs:4:37:
arising from the 'deriving' clause of a data type declaration
at drvfail007.hs:4:37-38
Possible fix: add an instance declaration for (Eq (Int -> Int))
Alternative fix: use a standalone 'deriving instance' declaration
instead, so you can specify the instance context yourself
When deriving the instance for (Eq Foo)
......@@ -4,4 +4,6 @@ drvfail012.hs:5:32:
arising from the 'deriving' clause of a data type declaration
at drvfail012.hs:5:32-34
Possible fix: add an instance declaration for (Eq (Ego a))
Alternative fix: use a standalone 'deriving instance' declaration
instead, so you can specify the instance context yourself
When deriving the instance for (Ord (Ego a))
......@@ -4,6 +4,8 @@ drvfail013.hs:4:69:
arising from the 'deriving' clause of a data type declaration
at drvfail013.hs:4:69-70
Possible fix: add an instance declaration for (Eq (m (Maybe a)))
Alternative fix: use a standalone 'deriving instance' declaration
instead, so you can specify the instance context yourself
When deriving the instance for (Eq (MaybeT m a))
drvfail013.hs:6:69:
......@@ -11,4 +13,6 @@ drvfail013.hs:6:69:
arising from the 'deriving' clause of a data type declaration
at drvfail013.hs:6:69-70
Possible fix: add an instance declaration for (Eq (m (Maybe a)))
Alternative fix: use a standalone 'deriving instance' declaration
instead, so you can specify the instance context yourself
When deriving the instance for (Eq (MaybeT' m a))
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