diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-07-01 14:27:00 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-07-04 23:35:25 +0200 |
| commit | bf7cbe78058c1848dedc2cbf0699ac4a41057ab7 (patch) | |
| tree | 69d0bee6b696e1693f70d373f568188483554713 | |
| parent | a6819a088efe689ccfb760b762f9b7a27b88e452 (diff) | |
| download | haskell-bf7cbe78058c1848dedc2cbf0699ac4a41057ab7.tar.gz | |
users-guide: Note multiple pattern signature change in relnotes
| -rw-r--r-- | docs/users_guide/8.2.1-notes.rst | 3 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/8.2.1-notes.rst b/docs/users_guide/8.2.1-notes.rst index f19512c28f..0a9963fafa 100644 --- a/docs/users_guide/8.2.1-notes.rst +++ b/docs/users_guide/8.2.1-notes.rst @@ -22,6 +22,9 @@ Language - TODO FIXME. +- Pattern synonym signatures can now be applied to multiple patterns, just like + value-level binding signatures. See :ref:`patsyn-typing` for details. + Compiler ~~~~~~~~ diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 6cf98830ba..8a35899d7a 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -4256,6 +4256,9 @@ A module which imports ``MyNum(..)`` from ``Example`` and then re-exports ``Example``. A more complete specification can be found on the :ghc-wiki:`wiki. <PatternSynonyms/AssociatingSynonyms>` + +.. _patsyn-typing: + Typing of pattern synonyms -------------------------- |