Document that type holes kill polymorphic recursion
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Tue, 18 Jul 2017 19:55:21 +0000 (15:55 -0400)
committerRichard Eisenberg <rae@cs.brynmawr.edu>
Thu, 27 Jul 2017 11:49:06 +0000 (07:49 -0400)
This "fixes" #11995.

docs/users_guide/glasgow_exts.rst

index 7fc075a..b0da289 100644 (file)
@@ -10290,6 +10290,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