[commit: ghc] ghc-8.4: Fix typo in user guide about ConstraintKinds (e261975)

git at git.haskell.org git at git.haskell.org
Thu Mar 29 16:29:42 UTC 2018


Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.4
Link       : http://ghc.haskell.org/trac/ghc/changeset/e2619754ea766b82b197c982437abcff9cbb993e/ghc

>---------------------------------------------------------------

commit e2619754ea766b82b197c982437abcff9cbb993e
Author: Frank Steffahn <fdsteffahn at gmail.com>
Date:   Tue Mar 13 23:29:04 2018 +0100

    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)


>---------------------------------------------------------------

e2619754ea766b82b197c982437abcff9cbb993e
 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 d2086f6..a0b5cdd 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



More information about the ghc-commits mailing list