Commit a48464a7 authored by Ben Gamari's avatar Ben Gamari 🐢
Browse files

users guide: Rephrasing

parent faefa7e5
......@@ -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
 
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment