Skip to content
Snippets Groups Projects
Commit e2619754 authored by Frank Steffahn's avatar Frank Steffahn Committed by Ben Gamari
Browse files

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 960cd424)
parent a356469c
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment