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/Driver | |
| 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/Driver')
0 files changed, 0 insertions, 0 deletions