Fail fast in solveLocalEqualities
[ghc.git] / testsuite / tests / typecheck / should_fail / T3540.stderr
1
2 T3540.hs:4:12: error:
3     • Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
4     • In the type signature: thing :: (a ~ Int)
5
6 T3540.hs:7:20: error:
7     • Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
8     • In the type signature: thing1 :: Int -> (a ~ Int)
9
10 T3540.hs:10:13: error:
11     • Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
12     • In the type signature: thing2 :: (a ~ Int) -> Int
13
14 T3540.hs:13:12: error:
15     • Expected a type, but ‘?dude :: Int’ has kind ‘Constraint’
16     • In the type signature: thing3 :: (?dude :: Int) -> Int
17
18 T3540.hs:16:11: error:
19     • Expected a type, but ‘Eq a’ has kind ‘Constraint’
20     • In the type signature: thing4 :: (Eq a) -> Int