Propagate ReturnTvs in matchExpectedFunTys
This really should have done a while ago, with the ReturnTv factoring. It's surprising that I can't tickle the bug! Please merge to ghc-7.10. (cherry picked from commit 849e25ca)
Showing
- compiler/typecheck/TcMType.hs 4 additions, 1 deletioncompiler/typecheck/TcMType.hs
- compiler/typecheck/TcType.hs 8 additions, 2 deletionscompiler/typecheck/TcType.hs
- compiler/typecheck/TcUnify.hs 12 additions, 6 deletionscompiler/typecheck/TcUnify.hs
- testsuite/tests/gadt/gadt7.stderr 9 additions, 9 deletionstestsuite/tests/gadt/gadt7.stderr
Loading
Please register or sign in to comment