Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_compile / T4494.hs
1 {-# LANGUAGE TypeFamilies, RankNTypes, FlexibleContexts, ScopedTypeVariables #-}
2
3 module T4494 where
4
5 type family H s
6 type family F v
7
8 bar :: (forall t. Maybe t -> a) -> H a -> Int
9 bar = error "urk"
10
11 call :: F Bool -> Int
12 call x = bar (\_ -> x) (undefined :: H (F Bool))
13
14 {-
15 [W] H (F Bool) ~ H alpha
16 [W] alpha ~ F Bool
17 -->
18 F Bool ~ fuv0
19 H fuv0 ~ fuv1
20 H alpha ~ fuv2
21
22 fuv1 ~ fuv2
23 alpha ~ fuv0
24
25 flatten
26 ~~~~~~~
27 fuv0 := alpha
28 fuv1 := fuv2
29
30 alpha := F Bool
31 -}
32