summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr')
-rw-r--r--testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr13
1 files changed, 0 insertions, 13 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr b/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr
deleted file mode 100644
index 5e8a4ee164..0000000000
--- a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr
+++ /dev/null
@@ -1,13 +0,0 @@
-
-FD3.hs:15:15:
- Couldn't match type `a' with `(String, a)'
- `a' is a rigid type variable bound by
- the type signature for translate :: (String, a) -> A a
- at FD3.hs:15:1
- When using functional dependencies to combine
- MkA a a,
- arising from the dependency `a -> b'
- in the instance declaration at FD3.hs:12:10
- MkA (String, a) a, arising from a use of `mkA' at FD3.hs:15:15-17
- In the expression: mkA a
- In an equation for `translate': translate a = mkA a