blob: 13592b682fb27da0801e25f6f54485c6e03c49bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE Haskell2010 #-}
{-# 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]
|
