[commit: ghc] master: Spelling (1bf5c12)
git at git.haskell.org
git at git.haskell.org
Tue May 24 10:56:23 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/1bf5c126c028285911138454689ea8068a7f9c37/ghc
>---------------------------------------------------------------
commit 1bf5c126c028285911138454689ea8068a7f9c37
Author: Gabor Greif <ggreif at gmail.com>
Date: Tue May 24 12:58:18 2016 +0200
Spelling
>---------------------------------------------------------------
1bf5c126c028285911138454689ea8068a7f9c37
compiler/basicTypes/PatSyn.hs | 2 +-
docs/users_guide/glasgow_exts.rst | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/compiler/basicTypes/PatSyn.hs b/compiler/basicTypes/PatSyn.hs
index b54a11d..e3fdd09 100644
--- a/compiler/basicTypes/PatSyn.hs
+++ b/compiler/basicTypes/PatSyn.hs
@@ -245,7 +245,7 @@ This means that when typechecking an occurrence of P in an expression,
we must remember that the builder has this void argument. This is
done by TcPatSyn.patSynBuilderOcc.
-Note [Patterns synonyms and the data type Type]
+Note [Pattern synonyms and the data type Type]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The type of a pattern synonym is of the form (See Note
[Pattern synonym signatures]):
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 0e9b799..8abb218 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``.
More information about the ghc-commits
mailing list