diff options
| author | Christiaan Baaij <christiaan.baaij@gmail.com> | 2021-11-21 15:09:31 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-25 01:04:32 -0500 |
| commit | 3639ad8ffbf0bfc2cb600ba138d6bfda2ccd29fe (patch) | |
| tree | e2ee24df7940ebda946ce4a2977febf823ac44d4 /compiler/GHC/Tc/Module.hs | |
| parent | e3c59191fbd526a244b5ac71de5d6b6803374aea (diff) | |
| download | haskell-3639ad8ffbf0bfc2cb600ba138d6bfda2ccd29fe.tar.gz | |
Compare types of recursive let-bindings in alpha-equivalence
This commit fixes #20641 by checking the types of recursive
let-bindings when performing alpha-equality.
The `Eq (DeBruijn CoreExpr)` instance now also compares
`BreakPoint`s similarly to `GHC.Core.Utils.eqTickish`, taking
bound variables into account.
In addition, the `Eq (DeBruijn Type)` instance now correctly
compares the kinds of the types when one of them contains a
Cast: the instance is modeled after `nonDetCmpTypeX`.
Diffstat (limited to 'compiler/GHC/Tc/Module.hs')
0 files changed, 0 insertions, 0 deletions