diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-24 19:38:08 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-24 19:38:08 +0000 |
| commit | 5c904ba055147e0a71d5b200c8886ef0b1a47794 (patch) | |
| tree | 5a18e1034bc2fe5486a076dfc0e15e8607e5c249 /docs/users_guide | |
| parent | f438464754ad9abd885acf3529606ca57945edc2 (diff) | |
| download | haskell-5c904ba055147e0a71d5b200c8886ef0b1a47794.tar.gz | |
Mention that the user has to import GHC.Exts for Constraint
(required judging from confusion on #haskell right now.)
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 5c4b091f30..1366197654 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -6387,9 +6387,10 @@ 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>. - So for example <literal>type Foo (f :: * -> Constraint) = forall b. f b => b -> b</literal> is allowed, as - well as examples involving type families: + Anything whose form is not yet know, 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: <programlisting> type family Typ a b :: Constraint type instance Typ Int b = Show b |