blob: 5ea5b6bada5335bb5a8dfe5b73bb721477c340a2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE TypeSynonymInstances #-}
unit p where
signature H where
data T a
module M where
import H
instance Functor T where
fmap = undefined
unit q where
module H where
-- The type synonym is not eta reduced, so we reject it.
-- This test will start passing if GHC automatically eta
-- reduces type synonyms when it can, see #12701
type T a = [a]
unit r where
dependency p[H=q:H]
|
