[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