[commit: ghc] master: Remove extra ` from "kind-indexed GADTs" doc (af9f3fa)
git at git.haskell.org
git at git.haskell.org
Thu Aug 17 20:43:28 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/af9f3fabd72a8b2d627c1360a5c8fc1925f2145d/ghc
>---------------------------------------------------------------
commit af9f3fabd72a8b2d627c1360a5c8fc1925f2145d
Author: Chris Martin <ch.martin at gmail.com>
Date: Thu Aug 10 19:37:02 2017 -0400
Remove extra ` from "kind-indexed GADTs" doc
>---------------------------------------------------------------
af9f3fabd72a8b2d627c1360a5c8fc1925f2145d
docs/users_guide/glasgow_exts.rst | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 378beb2..5afc7e1 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -8300,7 +8300,7 @@ Consider the type ::
This datatype ``G`` is GADT-like in both its kind and its type. Suppose you
have ``g :: G a``, where ``a :: k``. Then pattern matching to discover that
-``g`` is in fact ```GMaybe`` tells you both that ``k ~ (* -> *)`` and
+``g`` is in fact ``GMaybe`` tells you both that ``k ~ (* -> *)`` and
``a ~ Maybe``. The definition for ``G`` requires that :ghc-flag:`-XTypeInType`
be in effect, but pattern-matching on ``G`` requires no extension beyond
:ghc-flag:`-XGADTs`. That this works is actually a straightforward extension
More information about the ghc-commits
mailing list