Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T3540.hs
1 {-# LANGUAGE ImplicitParams, TypeFamilies #-}
2 module T3540 where
3
4 thing :: (a~Int)
5 thing = undefined
6
7 thing1 :: Int -> (a~Int)
8 thing1 = undefined
9
10 thing2 :: (a~Int) -> Int
11 thing2 = undefined
12
13 thing3 :: (?dude :: Int) -> Int
14 thing3 = undefined
15
16 thing4:: (Eq a) -> Int
17 thing4 = undefined