diff options
Diffstat (limited to 'docs/users_guide/8.10.1-notes.rst')
-rw-r--r-- | docs/users_guide/8.10.1-notes.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/users_guide/8.10.1-notes.rst b/docs/users_guide/8.10.1-notes.rst index fde1451250..dfbb8f9224 100644 --- a/docs/users_guide/8.10.1-notes.rst +++ b/docs/users_guide/8.10.1-notes.rst @@ -10,6 +10,8 @@ following sections. Highlights ---------- +- The `UnliftedNewtypes` extension. + Full details ------------ @@ -83,6 +85,11 @@ Language type forall a (f :: forall k. k -> Type). T a f = f Int +- A new extension :extension:`UnliftedNewtypes` that relaxes restrictions + 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 ~~~~~~~~ |