diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-07-18 15:55:21 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-07-27 07:49:06 -0400 |
| commit | ca471860494484210b6291dd96d1e0868da750e7 (patch) | |
| tree | c49552199c3ce2e270f121b9430eb19c5b037615 /docs | |
| parent | 10d13b62c7ba8c44000a0d25afd66788de8040c4 (diff) | |
| download | haskell-ca471860494484210b6291dd96d1e0868da750e7.tar.gz | |
Document that type holes kill polymorphic recursion
This "fixes" #11995.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 7fc075a03e..b0da28917a 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -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 |