Testsuite error message changes
[ghc.git] / testsuite / tests / perf / compiler / T5837.hs
1 {-# LANGUAGE AllowAmbiguousTypes, TypeFamilies #-}
2
3 module T5837 where
4
5 type family TF a :: *
6 type instance TF (a,b) = (TF a, TF b)
7
8 t :: (a ~ TF (a,Int)) => Int
9 t = undefined
10
11 {-
12
13 [G] a ~ TF (a,Int)
14 -->
15 TF (a,Int) ~ fsk
16 fsk ~ a
17 --->
18 fsk ~ (TF a, TF Int)
19 fsk ~ a
20 --->
21 a ~ (TF a, TF Int)
22
23 -}