Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T5770.hs
1 {-# LANGUAGE TypeFamilies,
2 PolyKinds,
3 ScopedTypeVariables
4 #-}
5
6 module T5770 where
7
8 convert :: a -> b
9 convert = convert
10
11 type family Foo a
12 type instance Foo Int = Bool
13
14 barT5770 :: forall a b c dummya. (b -> c) -> Foo a -> a
15 barT5770 f = (convert f :: Foo a -> a)
16
17 barT5769 :: forall b a. b -> (a, Foo a)
18 barT5769 f = (convert f :: (a, Foo a))
19
20 barT5768 :: forall a b. b -> (a, Foo a)
21 barT5768 f = (convert f :: (a, Foo a))