diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-08-28 09:01:25 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-08-28 22:36:40 -0400 |
| commit | 137c24e1ae26bc251d92fa8c7d47a04341f8c5ce (patch) | |
| tree | 468ae2ff9f5d826b566af20b97450f296f3365b5 | |
| parent | a308b435afed0f2416f4e5a153cafebe8d3cf3c6 (diff) | |
| download | haskell-137c24e1ae26bc251d92fa8c7d47a04341f8c5ce.tar.gz | |
Balance parentheses in GHC 8.10.1 release notes
[ci skip]
| -rw-r--r-- | docs/users_guide/8.10.1-notes.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/8.10.1-notes.rst b/docs/users_guide/8.10.1-notes.rst index ea9a5d8508..786ea117ce 100644 --- a/docs/users_guide/8.10.1-notes.rst +++ b/docs/users_guide/8.10.1-notes.rst @@ -25,8 +25,8 @@ Language - Kind variables are no longer implicitly quantified in constructor declarations: :: - data T a = T1 (S (a :: k) | forall (b::k). T2 (S b) -- no longer accepted - data T (a :: k) = T1 (S (a :: k) | forall (b::k). T2 (S b) -- still accepted + data T a = T1 (S (a :: k)) | forall (b::k). T2 (S b) -- no longer accepted + data T (a :: k) = T1 (S (a :: k)) | forall (b::k). T2 (S b) -- still accepted - Implicitly quantified kind variables are no longer put in front of other variables: :: @@ -89,7 +89,7 @@ Language around what kinds of types can appear inside of the data constructor for a `newtype`. This was proposed in `GHC proposal #13 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0013-unlifted-newtypes.rst>`__. - + Compiler ~~~~~~~~ |