diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-27 10:55:17 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-29 08:49:28 -0500 |
| commit | bc83c733e58939e1ff0d5eea9dca359615203ea4 (patch) | |
| tree | 4196cb3cd69ed31f54ea055cdd95299860b262c2 /docs/users_guide | |
| parent | 0dd663ba9111d78be116480e2f75bc272f3adc90 (diff) | |
| download | haskell-bc83c733e58939e1ff0d5eea9dca359615203ea4.tar.gz | |
Add release note about flexible RebindableSyntax
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/8.0.1-notes.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/users_guide/8.0.1-notes.rst b/docs/users_guide/8.0.1-notes.rst index b31223eef4..41e6c2b579 100644 --- a/docs/users_guide/8.0.1-notes.rst +++ b/docs/users_guide/8.0.1-notes.rst @@ -54,6 +54,8 @@ The highlights, since the 7.10 branch, are: - A rewritten (and greatly improved) pattern exhaustiveness checker +- More flexible rebindable syntax + - GHC can run the interpreter in a separate process (see :ref:`external-interpreter`), and the interpreter can now run profiled code. @@ -137,6 +139,12 @@ Language - The :ghc-flag:`-XDeriveAnyClass` extension now fills in associated type family default instances when deriving a class that contains them. +- The :ghc-flag:`-XRebindableSyntax` feature is now much more flexible, imposing + fewer restrictions on the types of the rebindable syntax elements. For example, + your ``negate`` function may now return a different type than it accepts. + Rebindable syntax also supports higher-rank types fully, allowing types + like ``(>>=) :: m a -> (forall x. a x -> m b) -> m b``. + - Users can now define record pattern synonyms. This allows pattern synonyms to behave more like normal data constructors. For example, :: |