diff options
| author | Gabor Greif <ggreif@gmail.com> | 2016-05-24 12:58:18 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2016-05-24 12:58:18 +0200 |
| commit | 1bf5c126c028285911138454689ea8068a7f9c37 (patch) | |
| tree | f2451f5d0d85ec55237b243b934e0fafdff0c2eb /docs/users_guide | |
| parent | 35053eb6c3f9058020f9818bf0de672aef6894c9 (diff) | |
| download | haskell-1bf5c126c028285911138454689ea8068a7f9c37.tar.gz | |
Spelling
Diffstat (limited to 'docs/users_guide')
| -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 0e9b7999de..8abb2184ee 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -4306,7 +4306,7 @@ all currently bundled constructors. For example, we could write: :: in which case, ``Example`` would export the type constructor ``MyNum`` with the data constructor ``MkNum`` and also the pattern synonym ``Zero``. -Bundled patterns synonyms are type checked to ensure that they are of the same +Bundled pattern synonyms are type checked to ensure that they are of the same type as the type constructor which they are bundled with. A pattern synonym ``P`` can not be bundled with a type constructor ``T`` if ``P``\'s type is visibly incompatible with ``T``. |