Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T5246.hs
1 {-# LANGUAGE ImplicitParams #-}
2
3 -- Produced a duplicated error message in 7.0
4
5 module T5246 where
6
7 foo :: (?x :: Int) => a
8 foo = undefined
9
10 bar = let ?x = "hello"
11 in foo