Commit 51504db7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test #3101 and track error message changes

parent 5524bc63
......@@ -55,7 +55,7 @@ data Existential b
= forall a. ExistentialList [a]
| forall f. Functor f => ExistentialFunctor (f b)
| forall b. SneakyUseSameName (b -> Bool)
-- deriving (Functor)
-- deriving (Functor)
-- Don't get confused by synonyms
type IntFun a = Int -> a
......
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE RankNTypes #-}
module T3101 where
type family F a :: *
data Boom = Boom (forall a. F a)
deriving Show
T3101.hs:9:11:
Can't make a derived instance of `Show Boom'
(Constructor `Boom' does not have a Haskell-98 type)
In the data type declaration for `Boom'
......@@ -23,6 +23,7 @@ test('T2604', normal, compile_fail, [''])
test('T2701', normal, compile_fail, [''])
test('T2851', normal, compile_fail, [''])
test('T2721', normal, compile_fail, [''])
test('T3101', normal, compile_fail, [''])
test('drvfail-functor1',
if_compiler_lt('ghc', '6.11', expect_fail),
compile_fail,
......
......@@ -21,20 +21,20 @@ drvfail-foldable-traversable1.hs:13:21:
drvfail-foldable-traversable1.hs:17:21:
Can't make a derived instance of `Foldable Infinite'
(`Infinite' contains function types)
(Constructor `Infinite' contains function types)
In the data type declaration for `Infinite'
drvfail-foldable-traversable1.hs:17:30:
Can't make a derived instance of `Traversable Infinite'
(`Infinite' contains function types)
(Constructor `Infinite' contains function types)
In the data type declaration for `Infinite'
drvfail-foldable-traversable1.hs:21:21:
Can't make a derived instance of `Foldable (Cont r)'
(`Cont' contains function types)
(Constructor `Cont' contains function types)
In the data type declaration for `Cont'
drvfail-foldable-traversable1.hs:21:30:
Can't make a derived instance of `Traversable (Cont r)'
(`Cont' contains function types)
(Constructor `Cont' contains function types)
In the data type declaration for `Cont'
drvfail-functor2.hs:7:13:
Can't make a derived instance of `Functor InFunctionArgument'
(`InFunctionArgument' uses the type variable in a function argument)
(Constructor `InFunctionArgument' uses the type variable in a function argument)
In the newtype declaration for `InFunctionArgument'
drvfail-functor2.hs:10:13:
Can't make a derived instance of `Functor OnSecondArg'
(`OnSecondArg' uses the type variable in an argument other than the last)
(Constructor `OnSecondArg' uses the type variable in an argument other than the last)
In the newtype declaration for `OnSecondArg'
drvfail-functor2.hs:15:13:
......
tcfail086.hs:6:37:
Can't make a derived instance of `Eq Ex'
(`Ex' has non-Haskell-98 constructor(s))
(Constructor `Ex' does not have a Haskell-98 type)
In the data type declaration for `Ex'
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