diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2020-03-17 15:13:38 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-03-20 20:44:17 -0400 |
| commit | 9a96ff6b1c19c9d0af9c9a39fb2c086f311c7239 (patch) | |
| tree | eaeb55c6af88f39be3be50fd8811a826440ca0be /compiler/GHC/Core/Type.hs | |
| parent | faa36e5b3674a7b2cfc6b931eec27b3558fad33b (diff) | |
| download | haskell-9a96ff6b1c19c9d0af9c9a39fb2c086f311c7239.tar.gz | |
Update core spec to reflect changes to Core.
Key changes:
* Adds a new rule for forall-coercions over coercion variables, which
was implemented but conspicuously missing from the spec.
* Adds treatment for FunCo.
* Adds treatment for ForAllTy over coercion variables.
* Improves commentary (including restoring a Note lost in
03d4852658e1b7407abb4da84b1b03bfa6f6db3b) in the source.
No changes to running code.
Diffstat (limited to 'compiler/GHC/Core/Type.hs')
| -rw-r--r-- | compiler/GHC/Core/Type.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/GHC/Core/Type.hs b/compiler/GHC/Core/Type.hs index 3af971c101..3e86e86cf4 100644 --- a/compiler/GHC/Core/Type.hs +++ b/compiler/GHC/Core/Type.hs @@ -1382,6 +1382,7 @@ mkCastTy (CastTy ty co1) co2 mkCastTy (ForAllTy (Bndr tv vis) inner_ty) co -- (EQ4) from the Note + -- See Note [Weird typing rule for ForAllTy] in GHC.Core.TyCo.Rep. | isTyVar tv , let fvs = tyCoVarsOfCo co = -- have to make sure that pushing the co in doesn't capture the bound var! |