Commit 47640ca4 authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Test case for #9305

parent 708062b5
{-# LANGUAGE DeriveFunctor#-}
module Main where
data Event a b = Event a deriving (Functor)
newtype F f = F (f (F f))
data EventF a = EventF (F (Event a)) deriving (Functor)
No instance for (Functor Event)
arising from the first field of ‘EventF’ (type ‘F (Event a)’)
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
When deriving the instance for (Functor EventF)
......@@ -334,4 +334,4 @@ test('T8912', normal, compile_fail, [''])
test('T9033', normal, compile_fail, [''])
test('T8883', normal, compile_fail, [''])
test('T9196', normal, compile_fail, [''])
test('T9305', 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