Some tidying up of type pretty-printing
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail041.hs
1 {-# LANGUAGE ImplicitParams #-}
2
3 module ShouldFail where
4
5 class (?imp :: Int) => D t where
6 methodD :: t -> t
7
8 -- Don't repeat implicit parameter constraint on the instance
9 instance D Int where
10 methodD x = x + ?imp