From 1bf5c126c028285911138454689ea8068a7f9c37 Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Tue, 24 May 2016 12:58:18 +0200 Subject: Spelling --- docs/users_guide/glasgow_exts.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/users_guide') 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``. -- cgit v1.2.1