diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-09-25 16:26:29 +0100 |
|---|---|---|
| committer | Sebastian Graf <sgraf1337@gmail.com> | 2019-09-28 09:28:05 +0100 |
| commit | 0e41ad3689616cdcfd58285f75c001ba727a5318 (patch) | |
| tree | 2c0dbbadab84ca98cf19d58b2a3e3a01b85fc775 /compiler/parser | |
| parent | 218c5dbfbd60a416588e1b952c167ebd18ef9c56 (diff) | |
| download | haskell-wip/T17182-rules.tar.gz | |
Fix arguments for unbound binders in RULE applicationwip/T17182-rules
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 'compiler/parser')
0 files changed, 0 insertions, 0 deletions