diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3540.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T3540.stderr | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3540.stderr b/testsuite/tests/typecheck/should_fail/T3540.stderr index db84dcd62c..3c447bb1e5 100644 --- a/testsuite/tests/typecheck/should_fail/T3540.stderr +++ b/testsuite/tests/typecheck/should_fail/T3540.stderr @@ -1,20 +1,20 @@ T3540.hs:4:12: - Expected a type, but ‛a ~ Int’ has kind ‛Constraint’ - In the type signature for ‛thing’: thing :: a ~ Int + Expected a type, but ‘a ~ Int’ has kind ‘Constraint’ + In the type signature for ‘thing’: thing :: a ~ Int T3540.hs:7:20: - Expected a type, but ‛a ~ Int’ has kind ‛Constraint’ - In the type signature for ‛thing1’: thing1 :: Int -> (a ~ Int) + Expected a type, but ‘a ~ Int’ has kind ‘Constraint’ + In the type signature for ‘thing1’: thing1 :: Int -> (a ~ Int) T3540.hs:10:13: - Expected a type, but ‛a ~ Int’ has kind ‛Constraint’ - In the type signature for ‛thing2’: thing2 :: (a ~ Int) -> Int + Expected a type, but ‘a ~ Int’ has kind ‘Constraint’ + In the type signature for ‘thing2’: thing2 :: (a ~ Int) -> Int T3540.hs:13:12: - Expected a type, but ‛?dude :: Int’ has kind ‛Constraint’ - In the type signature for ‛thing3’: thing3 :: (?dude :: Int) -> Int + Expected a type, but ‘?dude :: Int’ has kind ‘Constraint’ + In the type signature for ‘thing3’: thing3 :: (?dude :: Int) -> Int T3540.hs:16:11: - Expected a type, but ‛Eq a’ has kind ‛Constraint’ - In the type signature for ‛thing4’: thing4 :: (Eq a) -> Int + Expected a type, but ‘Eq a’ has kind ‘Constraint’ + In the type signature for ‘thing4’: thing4 :: (Eq a) -> Int |