diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2020-01-15 22:49:51 +0000 |
|---|---|---|
| committer | Richard Eisenberg <rae@richarde.dev> | 2021-09-27 20:52:14 -0400 |
| commit | 4a570b2bc5bdb4a445f4570519476ae7e89586cf (patch) | |
| tree | 0e7d9534684372dbaf90b0ae663726ab9242c5ea /compiler/GHC/Core/Reduction.hs | |
| parent | 64923cf295ea914db458547432237a5ed1eff571 (diff) | |
| download | haskell-wip/T17674.tar.gz | |
Compare FunTys as if they were TyConApps.wip/T17674
See Note [Equality on FunTys] in TyCoRep.
Close #17675.
Close #17655, about documentation improvements included in
this patch.
Close #19677, about a further mistake around FunTy.
test cases: typecheck/should_compile/T19677
Diffstat (limited to 'compiler/GHC/Core/Reduction.hs')
| -rw-r--r-- | compiler/GHC/Core/Reduction.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Reduction.hs b/compiler/GHC/Core/Reduction.hs index 254b4420e1..fbae18f797 100644 --- a/compiler/GHC/Core/Reduction.hs +++ b/compiler/GHC/Core/Reduction.hs @@ -807,7 +807,7 @@ simplifyArgsWorker orig_ki_binders orig_inner_ki orig_fvs orig_ki_binders orig_inner_ki orig_roles orig_simplified_args where - orig_lc = emptyLiftingContext $ mkInScopeSet $ orig_fvs + orig_lc = emptyLiftingContext $ mkInScopeSet orig_fvs go :: LiftingContext -- mapping from tyvars to rewriting coercions -> [TyCoBinder] -- Unsubsted binders of function's kind |