summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr9
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr b/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr
new file mode 100644
index 0000000000..7cc45560c9
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr
@@ -0,0 +1,9 @@
+
+LongWayOverlapping.hs:23:11:
+ No instance for (EmbAsChild [Char] Char)
+ arising from a use of `emb'
+ Possible fix:
+ add an instance declaration for (EmbAsChild [Char] Char)
+ In the expression: emb 'c'
+ In an equation for `emb': emb _ = emb 'c'
+ In the instance declaration for `EmbAsChild [Char] Bool'