summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T3540.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3540.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/T3540.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3540.stderr b/testsuite/tests/typecheck/should_fail/T3540.stderr
index 1723e86bbe..0fdb88b313 100644
--- a/testsuite/tests/typecheck/should_fail/T3540.stderr
+++ b/testsuite/tests/typecheck/should_fail/T3540.stderr
@@ -12,7 +12,7 @@ T3540.hs:10:13: error:
• In the type signature: thing2 :: (a ~ Int) -> Int
T3540.hs:13:12: error:
- • Expected a type, but ‘?dude::Int’ has kind ‘Constraint’
+ • Expected a type, but ‘?dude :: Int’ has kind ‘Constraint’
• In the type signature: thing3 :: (?dude :: Int) -> Int
T3540.hs:16:11: error: