[commit: ghc] master: Release notes for #11975 and #10963 (4ae950f)
git at git.haskell.org
git at git.haskell.org
Thu Jun 23 19:21:20 UTC 2016
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
More information about the ghc-commits
mailing list