Commit 2e49c8cb authored by Ben Gamari's avatar Ben Gamari 🐢

users_guide: Move 7.12.1-notes to 8.0.1-notes

parent 8e735fd0
.. _release-7-12-1:
.. _release-8-0-1:
Release notes for version 7.12.1
Release notes for version 8.0.1
The significant changes to the various parts of the compiler are listed
in the following sections. There have also been numerous bug fixes and
......@@ -7017,7 +7017,7 @@ which implicitly defines an instance of the form
Injective type families
Starting with GHC 7.12 type families can be annotated with injectivity
Starting with GHC 8.0 type families can be annotated with injectivity
information. This information is then used by GHC during type checking
to resolve type ambiguities in situations where a type variable appears
only under type family applications.
......@@ -12,7 +12,7 @@ Contents:
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment