diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-04 18:10:21 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-10-04 18:10:21 -0400 |
| commit | bace26aadaafa4064e78f9ed088c1e2217221acc (patch) | |
| tree | 6e70248df2b40fbebd9c4fe2742044df0c32792c /docs/users_guide | |
| parent | 85376570c5d34950b1bd8f6c575526e7ff789b84 (diff) | |
| download | haskell-bace26aadaafa4064e78f9ed088c1e2217221acc.tar.gz | |
Allow (unparenthesized) kind signatures
Summary: This allows for things like `[t :: MyKind]`, `(a :: k, b)`, and so on.
Test Plan: make TEST=T11622 && make TEST=T8708
Reviewers: RyanGlScott, bgamari, simonpj, goldfire, alanz
Reviewed By: RyanGlScott, simonpj
Subscribers: alanz, simonpj, rwbarton, mpickering, carter
GHC Trac Issues: #11622, #8708
Differential Revision: https://phabricator.haskell.org/D5173
Diffstat (limited to 'docs/users_guide')
| -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 00e532c6d1..6bdde400bb 100644 --- a/docs/users_guide/8.8.1-notes.rst +++ b/docs/users_guide/8.8.1-notes.rst @@ -50,6 +50,10 @@ Language data D1 = forall a b. (a + b) => D1 a b data D2 = forall a b. a + b => D2 a b -- now allowed +- The requirement that kind signatures always be parenthesized has been relaxed. + For instance, it is now permissible to write ``Proxy '(a :: A, b :: B)`` + (previous GHC versions required extra parens: ``Proxy '((a :: A), (b :: B))``). + Compiler ~~~~~~~~ |