Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T3540.stderr
1
2 T3540.hs:4:12:
3     Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
4     In the type signature for ‘thing’: thing :: a ~ Int
5
6 T3540.hs:7:20:
7     Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
8     In the type signature for ‘thing1’: thing1 :: Int -> (a ~ Int)
9
10 T3540.hs:10:13:
11     Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
12     In the type signature for ‘thing2’: thing2 :: (a ~ Int) -> Int
13
14 T3540.hs:13:12:
15     Expected a type, but ‘?dude :: Int’ has kind ‘Constraint’
16     In the type signature for ‘thing3’: thing3 :: (?dude :: Int) -> Int
17
18 T3540.hs:16:11:
19     Expected a type, but ‘Eq a’ has kind ‘Constraint’
20     In the type signature for ‘thing4’: thing4 :: (Eq a) -> Int