diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-01-09 14:58:02 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-01-09 14:58:02 +0000 |
commit | 7d2e5da61714025142f0085d5ae150a61e637a5e (patch) | |
tree | 3c52b9c98cb2745dabc87c28c41942dc48840938 /testsuite/tests/typecheck/should_fail/T3950.stderr | |
parent | 6c869f906b879bc746ea1aa3e79e02f146d85093 (diff) | |
download | haskell-7d2e5da61714025142f0085d5ae150a61e637a5e.tar.gz |
Fix zonk_eq_types in TcCanonical
This fixes Trac #13083. An egregious bug.
Merge to the 8.0 branch
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3950.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T3950.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3950.stderr b/testsuite/tests/typecheck/should_fail/T3950.stderr index ae50a74f3c..60da6c09ae 100644 --- a/testsuite/tests/typecheck/should_fail/T3950.stderr +++ b/testsuite/tests/typecheck/should_fail/T3950.stderr @@ -5,7 +5,7 @@ T3950.hs:15:8: error: w :: (* -> * -> *) -> * Sealed :: (* -> *) -> * Expected type: Maybe (w (Id p)) - Actual type: Maybe (Sealed (Id p x0)) + Actual type: Maybe (Sealed (Id p0 x0)) • In the expression: Just rp' In an equation for ‘rp’: rp _ |