diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-09-25 16:26:29 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-30 22:40:30 -0400 |
| commit | 6a1700aa069a028bfdebb2b29778c5eac7ba27df (patch) | |
| tree | 0a65943b94b7523e61f806730070c0534a7f456c /ghc | |
| parent | f3cb8c7cb99e05feb0f62f5a076400dcf9f930a0 (diff) | |
| download | haskell-6a1700aa069a028bfdebb2b29778c5eac7ba27df.tar.gz | |
Fix arguments for unbound binders in RULE application
We were failing to correctly implement Note [Unbound RULE binders]
in Rules.hs. In particular, when cooking up a fake Refl,
were were failing to apply the substitition.
This patch fixes that problem, and simultaneously tidies
up the impedence mis-match between RuleSubst and TCvSubst.
Thanks to Sebastian!
Diffstat (limited to 'ghc')
0 files changed, 0 insertions, 0 deletions