diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2018-08-06 09:58:27 -0400 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2018-08-06 10:11:37 -0400 |
| commit | f811685c3c1579333743da135c8cb80924aea4ce (patch) | |
| tree | d5c0215a08b217f1f5fda04a03a51122c1a57bd5 /docs | |
| parent | b14040db2a86bcc477d172d8b4cc22f0479700db (diff) | |
| download | haskell-f811685c3c1579333743da135c8cb80924aea4ce.tar.gz | |
Mention #15050 in the release notes for 8.8.1
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.8.1-notes.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/users_guide/8.8.1-notes.rst b/docs/users_guide/8.8.1-notes.rst index f77c50eb02..de5f978292 100644 --- a/docs/users_guide/8.8.1-notes.rst +++ b/docs/users_guide/8.8.1-notes.rst @@ -22,6 +22,10 @@ Full details Language ~~~~~~~ +- :extension:`ScopedTypeVariables`: The type variable that a type signature on + a pattern can bring into scope can now stand for arbitrary types. Previously, + they could only stand in for other type variables, but this restriction was deemed + unnecessary in `GHC proposal #29 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0029-scoped-type-variables-types.rst>`__. Also see :ghc-ticket:`15050`. Compiler ~~~~~~~ |