users_guide: Move 7.12.1-notes to 8.0.1-notes
authorBen Gamari <ben@smart-cactus.org>
Tue, 29 Dec 2015 13:16:46 +0000 (14:16 +0100)
committerBen Gamari <ben@smart-cactus.org>
Tue, 29 Dec 2015 13:16:46 +0000 (14:16 +0100)
docs/users_guide/8.0.1-notes.rst [moved from docs/users_guide/7.12.1-notes.rst with 99% similarity]
docs/users_guide/glasgow_exts.rst
docs/users_guide/index.rst

similarity index 99%
rename from docs/users_guide/7.12.1-notes.rst
rename to docs/users_guide/8.0.1-notes.rst
index 6553fba..0aa221d 100644 (file)
@@ -1,7 +1,7 @@
-.. _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
index 8a5b9b6..961a378 100644 (file)
@@ -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.
index 3f1f381..bb6b09a 100644 (file)
@@ -12,7 +12,7 @@ Contents:
 
    license
    intro
-   7.12.1-notes
+   8.0.1-notes
    ghci
    runghc
    usage