[commit: ghc] master: Fix typo in -XConstraintKinds docs (5211673)
git at git.haskell.org
git at git.haskell.org
Tue Oct 21 21:50:51 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/5211673155038dbae3837682c6f737c2446f5c20/ghc
>---------------------------------------------------------------
commit 5211673155038dbae3837682c6f737c2446f5c20
Author: Ricky Elrod <ricky at elrod.me>
Date: Tue Oct 21 15:02:21 2014 -0500
Fix typo in -XConstraintKinds docs
Summary:
Fix a minor typo that seems to have existed for a long time.
Signed-off-by: Ricky Elrod <ricky at elrod.me>
Test Plan: My eyes.
Reviewers: austin, #ghc
Reviewed By: austin, #ghc
Subscribers: thomie, carter, ezyang, simonmar
Differential Revision: https://phabricator.haskell.org/D356
>---------------------------------------------------------------
5211673155038dbae3837682c6f737c2446f5c20
docs/users_guide/glasgow_exts.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index dd98f5a..7aff1a7 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -7121,7 +7121,7 @@ class (F a ~ b) => C a b where
type <literal>(Show a, Ord a)</literal> is of kind <literal>Constraint</literal>.
</listitem>
<listitem>
- Anything whose form is not yet know, but the user has declared to have kind <literal>Constraint</literal>
+ Anything whose form is not yet known, but the user has declared to have kind <literal>Constraint</literal>
(for which they need to import it from <literal>GHC.Exts</literal>). So for example
<literal>type Foo (f :: * -> Constraint) = forall b. f b => b -> b</literal> is allowed, as well as
examples involving type families:
More information about the ghc-commits
mailing list