[commit: ghc] wip/rae: Document that type holes kill polymorphic recursion (572b076)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/572b076d354c38ab61e9b97050f46c51549df8f2/ghc

>---------------------------------------------------------------

commit 572b076d354c38ab61e9b97050f46c51549df8f2
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Tue Jul 18 15:55:21 2017 -0400

    Document that type holes kill polymorphic recursion
    
    This "fixes" #11995.


>---------------------------------------------------------------

572b076d354c38ab61e9b97050f46c51549df8f2
 docs/users_guide/glasgow_exts.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 6d53d25..f61ba86 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -10285,6 +10285,10 @@ warnings instead of errors. Additionally, these warnings can be silenced
 with the :ghc-flag:`-Wno-partial-type-signatures <-Wpartial-type-signatures>`
 flag.
 
+However, because GHC must *infer* the type when part of a type is left
+out, it is unable to use polymorphic recursion. The same restriction
+takes place when the type signature is omitted completely.
+
 .. _pts-syntax:
 
 Syntax