[commit: ghc] master: Release notes for #11975 and #10963 (4ae950f)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/4ae950fbd83dea6170e765631af009e3c4f38a94/ghc

>---------------------------------------------------------------

commit 4ae950fbd83dea6170e765631af009e3c4f38a94
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Thu Jun 23 15:24:42 2016 -0400

    Release notes for #11975 and #10963


>---------------------------------------------------------------

4ae950fbd83dea6170e765631af009e3c4f38a94
 docs/users_guide/8.0.2-notes.rst | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/docs/users_guide/8.0.2-notes.rst b/docs/users_guide/8.0.2-notes.rst
index 8466b49..1972e6d 100644
--- a/docs/users_guide/8.0.2-notes.rst
+++ b/docs/users_guide/8.0.2-notes.rst
@@ -21,3 +21,22 @@ Language
 -  :ghc-flag:`-XStaticPointers` now allows the body of the ``static`` form to
    refer to closed local bindings. For instance, this is now permitted:
    ``f = static x where x = 'a'``.
+
+TODO FIXME Heading title
+~~~~~~~~~~~~~~~~~~~~~~~~
+
+-  GHCi now supports two new commands. :ghci-cmd:`:type` ``+d`` performs
+   defaulting on the type before reporting it to the user, and
+   :ghci-cmd:`:type` ``+v`` refrains from instantiating any variables before
+   reporting, which is useful in concert with :ghc-flag:`-XTypeApplications`.
+
+   .. code-block:: none
+
+	*X> :type +d length
+	length :: [a] -> Int
+
+	*X> :set -fprint-explicit-foralls
+	*X> :type length
+	length :: forall {a} {t :: * -> *}. Foldable t => t a -> Int
+	*X> :type +v length
+	length :: forall (t :: * -> *). Foldable t => forall a. t a -> Int