Propagate ReturnTvs in matchExpectedFunTys
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 11 Feb 2015 18:40:21 +0000 (13:40 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 11 Feb 2015 20:30:31 +0000 (15:30 -0500)
commit849e25ca4bb5aac2d49d0e27a5dfba61b6f72640
treeea2e4a1b2fc7fb062a92f7154b060e6149060f56
parentd5cd94d7b57dc233ff40bb3e494b7baf1be4d285
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.
compiler/typecheck/TcMType.hs
compiler/typecheck/TcType.hs
compiler/typecheck/TcUnify.hs
testsuite/tests/gadt/gadt7.stderr