diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/T2494.stderr')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/T2494.stderr | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/T2494.stderr b/testsuite/tests/ghc-regress/typecheck/should_compile/T2494.stderr deleted file mode 100644 index b522833af2..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/T2494.stderr +++ /dev/null @@ -1,22 +0,0 @@ - -T2494.hs:15:7: - Couldn't match type `a' with `b' - `a' is a rigid type variable bound by - the RULE "foo/foo" at T2494.hs:13:46 - `b' is a rigid type variable bound by - the RULE "foo/foo" at T2494.hs:14:46 - Expected type: Maybe (m b) -> Maybe (m b) - Actual type: Maybe (m a) -> Maybe (m a) - In the first argument of `foo', namely `f' - In the expression: foo f (foo g x) - -T2494.hs:15:30: - Couldn't match type `b' with `a' - `b' is a rigid type variable bound by - the RULE "foo/foo" at T2494.hs:14:46 - `a' is a rigid type variable bound by - the RULE "foo/foo" at T2494.hs:13:46 - Expected type: Maybe (m b) -> Maybe (m a) - Actual type: Maybe (m b) -> Maybe (m b) - In the second argument of `(.)', namely `g' - In the first argument of `foo', namely `(f . g)' |