Commit 137c24e1 authored by Ryan Scott's avatar Ryan Scott Committed by Marge Bot

Balance parentheses in GHC 8.10.1 release notes

[ci skip]
parent a308b435
Pipeline #9742 skipped
......@@ -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
~~~~~~~~
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment