Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail211.hs
1 {-# LANGUAGE ImplicitParams, FlexibleContexts #-}
2
3 module ShouldFail where
4
5 class (?imp :: Int) => D t where
6 methodD :: t -> t
7
8 instance (?imp :: Int) => D Int where
9 methodD x = x + ?imp
10
11 test :: D Int => Int -- Requires FlexibleContexts
12 test = methodD ?imp
13
14 -- Should get reasonable error about unbound ?imp
15 use :: IO ()
16 use = print test