diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 21:00:02 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 21:00:02 +0100 |
commit | 6dc6775590c85371c0d74249bdbcc8c51b9975ce (patch) | |
tree | 542198287994d792a04d2689549964f2fef2522a /testsuite/tests/typecheck/should_fail/tcfail174.stderr | |
parent | 6eb9500b3f0ad70db9d2f0bf7fc1a1fb9a2f8cf9 (diff) | |
download | haskell-6dc6775590c85371c0d74249bdbcc8c51b9975ce.tar.gz |
Error message wibbles following TyClDecl/HsTyDefn refactoring
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail174.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail174.stderr | 62 |
1 files changed, 31 insertions, 31 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail174.stderr b/testsuite/tests/typecheck/should_fail/tcfail174.stderr index 52a627ad9f..c4fb525c5e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail174.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail174.stderr @@ -1,31 +1,31 @@ - -tcfail174.hs:9:10: - Couldn't match expected type `forall a. a -> a' - with actual type `a0 -> a0' - In the first argument of `Base', namely `id' - In the expression: Base id - In an equation for `g': g = Base id - -tcfail174.hs:13:14: - Couldn't match type `a' with `a1' - `a' is a rigid type variable bound by - the inferred type of h1 :: Capture a at tcfail174.hs:13:1 - `a1' is a rigid type variable bound by - the type forall a1. a1 -> a1 at tcfail174.hs:13:14 - Expected type: Capture (forall x. x -> a) - Actual type: Capture (forall a. a -> a) - In the first argument of `Capture', namely `g' - In the expression: Capture g - In an equation for `h1': h1 = Capture g - -tcfail174.hs:16:14: - Couldn't match type `a' with `b' - `a' is a rigid type variable bound by - the type forall a. a -> a at tcfail174.hs:16:14 - `b' is a rigid type variable bound by - the type signature for h2 :: Capture b at tcfail174.hs:15:15 - Expected type: Capture (forall x. x -> b) - Actual type: Capture (forall a. a -> a) - In the first argument of `Capture', namely `g' - In the expression: Capture g - In an equation for `h2': h2 = Capture g +
+tcfail174.hs:9:10:
+ Couldn't match expected type `forall a. a -> a'
+ with actual type `a0 -> a0'
+ In the first argument of `Base', namely `id'
+ In the expression: Base id
+ In an equation for `g': g = Base id
+
+tcfail174.hs:13:14:
+ Couldn't match type `a' with `a1'
+ `a' is a rigid type variable bound by
+ the inferred type of h1 :: Capture a at tcfail174.hs:13:1
+ `a1' is a rigid type variable bound by
+ the type forall a1. a1 -> a1 at tcfail174.hs:13:14
+ Expected type: Capture (forall x. x -> a)
+ Actual type: Capture (forall a. a -> a)
+ In the first argument of `Capture', namely `g'
+ In the expression: Capture g
+ In an equation for `h1': h1 = Capture g
+
+tcfail174.hs:16:14:
+ Couldn't match type `a' with `b'
+ `a' is a rigid type variable bound by
+ the type forall a. a -> a at tcfail174.hs:16:14
+ `b' is a rigid type variable bound by
+ the type signature for h2 :: Capture b at tcfail174.hs:15:7
+ Expected type: Capture (forall x. x -> b)
+ Actual type: Capture (forall a. a -> a)
+ In the first argument of `Capture', namely `g'
+ In the expression: Capture g
+ In an equation for `h2': h2 = Capture g
|