Add test case for #8806.
[ghc.git] / testsuite / tests / typecheck / should_fail / T8806.stderr
1
2 T8806.hs:5:6:
3     Expected a constraint, but ‛Int’ has kind ‛*’
4     In the type signature for ‛f’: f :: Int => Int
5
6 T8806.hs:8:7:
7     Expected a constraint, but ‛Int’ has kind ‛*’
8     In the type signature for ‛g’: g :: Int => Show a => Int