Remove extra ` from "kind-indexed GADTs" doc
authorChris Martin <ch.martin@gmail.com>
Thu, 10 Aug 2017 23:37:02 +0000 (19:37 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 17 Aug 2017 20:42:55 +0000 (16:42 -0400)
docs/users_guide/glasgow_exts.rst

index 378beb2..5afc7e1 100644 (file)
@@ -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