diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3540.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T3540.stderr | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3540.stderr b/testsuite/tests/typecheck/should_fail/T3540.stderr index eeb2c051f2..0fdb88b313 100644 --- a/testsuite/tests/typecheck/should_fail/T3540.stderr +++ b/testsuite/tests/typecheck/should_fail/T3540.stderr @@ -3,16 +3,6 @@ T3540.hs:4:12: error: • Expected a type, but ‘a ~ Int’ has kind ‘Constraint’ • In the type signature: thing :: (a ~ Int) -T3540.hs:5:9: error: - • Couldn't match kind ‘Constraint’ with ‘*’ - When matching types - a0 :: * - a ~ Int :: Constraint - • In the expression: undefined - In an equation for ‘thing’: thing = undefined - • Relevant bindings include - thing :: a ~ Int (bound at T3540.hs:5:1) - T3540.hs:7:20: error: • Expected a type, but ‘a ~ Int’ has kind ‘Constraint’ • In the type signature: thing1 :: Int -> (a ~ Int) |