Commit 733f1b52 authored by Frank Steffahn's avatar Frank Steffahn Committed by Marge Bot
Browse files

users-guide: Typo in Users Guide, Glasgow Exts

parent ea192a09
......@@ -10890,7 +10890,7 @@ We say that the type variables in ``f`` are *specified*, while those in
a type variable in the source program, it is *specified*; if not, it is
*inferred*.
 
Thus rule applies in datatype declarations, too. For example, if we have
This rule applies in datatype declarations, too. For example, if we have
``data Proxy a = Proxy`` (and :extension:`PolyKinds` is enabled), then
``a`` will be assigned kind ``k``, where ``k`` is a fresh kind variable.
Because ``k`` was not written by the user, it will be unavailable for
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment