diff options
| author | Ricky Elrod <ricky@elrod.me> | 2014-10-21 15:02:21 -0500 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2014-10-21 15:02:21 -0500 |
| commit | 5211673155038dbae3837682c6f737c2446f5c20 (patch) | |
| tree | 5837a829de35ec70b2e820f5af31b536cbb55f45 /docs | |
| parent | 68255588f89462e542c502f6f92548712808032f (diff) | |
| download | haskell-5211673155038dbae3837682c6f737c2446f5c20.tar.gz | |
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@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
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index dd98f5ab66..7aff1a7fb0 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: |