summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/FDsFromGivens2.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/FDsFromGivens2.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/FDsFromGivens2.stderr5
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/FDsFromGivens2.stderr b/testsuite/tests/typecheck/should_fail/FDsFromGivens2.stderr
index 00e55ea20a..fed3fb5797 100644
--- a/testsuite/tests/typecheck/should_fail/FDsFromGivens2.stderr
+++ b/testsuite/tests/typecheck/should_fail/FDsFromGivens2.stderr
@@ -1,13 +1,12 @@
-FDsFromGivens2.hs:15:15: error:
+FDsFromGivens2.hs:15:15: error: [GHC-18872]
• Couldn't match type ‘Char’ with ‘[a]’
arising from a functional dependency between constraints:
‘C Char [a]’ arising from a use of ‘f’ at FDsFromGivens2.hs:15:15
‘C Char Char’
arising from a pattern with constructor:
KCC :: C Char Char => () -> KCC,
- in an equation for ‘bar’
- at FDsFromGivens2.hs:15:6-10
+ in an equation for ‘bar’ at FDsFromGivens2.hs:15:6-10
• In the expression: f
In an equation for ‘bar’: bar (KCC _) = f
• Relevant bindings include