diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-06 17:11:34 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-07 08:37:23 +0000 |
| commit | 290a553e9bd98ed43765cf8e7a70ebc95c187253 (patch) | |
| tree | 065482e0e1a7556d52d80b4a0bc490b4934297d8 /testsuite/tests/typecheck/should_fail/tcfail174.stderr | |
| parent | 97c49e9e78e6e0d385b8fd0b8a7de38ba6f10e76 (diff) | |
| download | haskell-290a553e9bd98ed43765cf8e7a70ebc95c187253.tar.gz | |
Tidy up tidySkolemInfo
Previously tidySkolemInfo used tidyOpenType, and returned a new
TidyEnv. But that's not needed any more, because all the skolems
should be in scope in the constraint tree.
I also removed a (now-unnecessary) field of UnifyForAllSkol
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail174.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail174.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail174.stderr b/testsuite/tests/typecheck/should_fail/tcfail174.stderr index e7ad3ca813..9c473e9884 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail174.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail174.stderr @@ -3,7 +3,7 @@ tcfail174.hs:14:14: error: • Couldn't match type ‘a’ with ‘a1’ because type variable ‘a1’ would escape its scope This (rigid, skolem) type variable is bound by - the type forall a2. a2 -> a2 + the type a1 -> a1 at tcfail174.hs:14:1-14 Expected type: Capture (forall x. x -> a) Actual type: Capture (forall a. a -> a) @@ -16,7 +16,7 @@ tcfail174.hs:14:14: error: tcfail174.hs:17:14: error: • Couldn't match type ‘a’ with ‘b’ ‘a’ is a rigid type variable bound by - the type forall a1. a1 -> a1 at tcfail174.hs:1:1 + the type a -> a at tcfail174.hs:1:1 ‘b’ is a rigid type variable bound by the type signature for: h2 :: forall b. Capture b |