diff options
| author | Chris Martin <ch.martin@gmail.com> | 2017-08-10 19:37:02 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-08-17 16:42:55 -0400 |
| commit | af9f3fabd72a8b2d627c1360a5c8fc1925f2145d (patch) | |
| tree | fe24ae81d4f916a9420c0404c2f3025454fbe77a /docs/users_guide/glasgow_exts.rst | |
| parent | c948b7865ace38d3d6912db0fc271aa7e9f70d2b (diff) | |
| download | haskell-af9f3fabd72a8b2d627c1360a5c8fc1925f2145d.tar.gz | |
Remove extra ` from "kind-indexed GADTs" doc
Diffstat (limited to 'docs/users_guide/glasgow_exts.rst')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 378beb26e6..5afc7e10c7 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 |