Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_compile / T7804.hs
1 {-# LANGUAGE TypeFamilies, RankNTypes #-}
2
3 module T7804 where
4
5 type family F f a
6
7 data Proxy a = P
8
9 sDFMap :: (forall a. Proxy f -> Proxy a -> Proxy (F f a)) -> Int
10 sDFMap _ = 3
11
12
13 {-
14 flat cache
15 [G] F f_aqh aqj ~ fsk_aqp
16 [G] F f_aqg aqj ~ fsk_aqq
17
18 [W] aqk : f_aqh[2] ~ f_aqg
19 [w] aql : fsk_aqp ~ fsk_aqq
20
21 [G] F f_agh a_aqj ~ F f_aqg
22 -}