Differential D4861 Diff 17728 docs/users_guide/8.8.1-notes.rst

Changeset View

Standalone View

View Options

docs/users_guide/8.8.1-notes.rst

Show All 24 Lines
25- :extension:`ScopedTypeVariables`: The type variable that a type signature on 25​- :extension:`ScopedTypeVariables`: The type variable that a type signature on
26 a pattern can bring into scope can now stand for arbitrary types. Previously, 26​ a pattern can bring into scope can now stand for arbitrary types. Previously,
27 they could only stand in for other type variables, but this restriction was deemed 27​ they could only stand in for other type variables, but this restriction was deemed
28 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`. 28​ 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`.
29 29​
30Compiler 30​Compiler
31~~~~~~~~ 31​~~~~~~~~
32 32​
33​- New :ghc-flag:`-keep-hscpp-files` to keep the output of the CPP pre-processor.
33 34​
34Runtime system 35​Runtime system
35~~~~~~~~~~~~~~ 36​~~~~~~~~~~~~~~
36 37​
37 38​
38Template Haskell 39​Template Haskell
39~~~~~~~~~~~~~~~~ 40​~~~~~~~~~~~~~~~~
40 41​
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines