diff options
| author | Frank Steffahn <fdsteffahn@gmail.com> | 2019-01-07 22:33:53 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-03 00:41:05 -0400 |
| commit | 733f1b52448e5ddd5f3f0d218050f5f22a707b5e (patch) | |
| tree | 1680c38e0a8e9a240b6e20fee9005b2b27783a05 /docs | |
| parent | ea192a0932c6a95d7854e86f743c11249af23ded (diff) | |
| download | haskell-733f1b52448e5ddd5f3f0d218050f5f22a707b5e.tar.gz | |
users-guide: Typo in Users Guide, Glasgow Exts
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index ccb3afb7ed..bf0d595df9 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -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 |