diff options
| author | Frank Steffahn <fdsteffahn@gmail.com> | 2018-03-13 23:29:04 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-03-19 12:49:23 -0400 |
| commit | 960cd424fb2ca99389c8f041d519d661494d07c1 (patch) | |
| tree | e8400373a1549e6d196cae84d1e9e5f6130e28d2 | |
| parent | 98c1f222c160fd4f07e4ab68d0504ab5ce364b61 (diff) | |
| download | haskell-960cd424fb2ca99389c8f041d519d661494d07c1.tar.gz | |
Fix typo in user guide about ConstraintKinds
The backslash currently in this type signature makes no sense. Without it, the example is fine.
| -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 c6cff92790..49c6ed4709 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -9442,7 +9442,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 |