From e2619754ea766b82b197c982437abcff9cbb993e Mon Sep 17 00:00:00 2001
From: Frank Steffahn <fdsteffahn@gmail.com>
Date: Tue, 13 Mar 2018 23:29:04 +0100
Subject: [PATCH] Fix typo in user guide about ConstraintKinds
The backslash currently in this type signature makes no sense. Without it, the example is fine.
(cherry picked from commit 960cd424fb2ca99389c8f041d519d661494d07c1)
---
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 d2086f673e10..a0b5cdd93eb5 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -9241,7 +9241,7 @@ The following things have kind ``Constraint``:
- Anything whose form is not yet known, but the user has declared to
have kind ``Constraint`` (for which they need to import it from
``GHC.Exts``). So for example
- ``type Foo (f :: \* -> Constraint) = forall b. f b => b -> b``
+ ``type Foo (f :: * -> Constraint) = forall b. f b => b -> b``
is allowed, as well as examples involving type families: ::
type family Typ a b :: Constraint
--
GitLab