users guide: Rephrasing
authorBen Gamari <ben@smart-cactus.org>
Fri, 23 Jun 2017 20:34:49 +0000 (16:34 -0400)
committerBen Gamari <ben@smart-cactus.org>
Fri, 23 Jun 2017 20:34:49 +0000 (16:34 -0400)
docs/users_guide/glasgow_exts.rst

index 8846596..4a4f363 100644 (file)
@@ -8957,9 +8957,9 @@ the :ghc-flag:`-XTypeApplications` flag to specify the types. For example: ::
 Here ``a`` is ambiguous in the definition of ``D`` but later specified
 to be `Int` using type applications.
 
-So the language extension :ghc-flag:`-XAllowAmbiguousTypes` allows you to
-switch off the ambiguity check.  But even with ambiguity checking switched off,
-GHC will complain about a function that can *never* be called, such as this one: ::
+:ghc-flag:`-XAllowAmbiguousTypes` allows you to switch off the ambiguity check.
+However, even with ambiguity checking switched off, GHC will complain about a
+function that can *never* be called, such as this one: ::
 
       f :: (Int ~ Bool) => a -> a