[commit: ghc] master: Add note for rebindable syntax of [a..b] (c73a982)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/c73a982bc49a234a030cea2496b70829c98b1e10/ghc

>---------------------------------------------------------------

commit c73a982bc49a234a030cea2496b70829c98b1e10
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Dec 19 15:06:34 2016 +0000

    Add note for rebindable syntax of [a..b]
    
    See Trac #12969


>---------------------------------------------------------------

c73a982bc49a234a030cea2496b70829c98b1e10
 docs/users_guide/glasgow_exts.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index b28edf7..919ec7d 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -1443,6 +1443,10 @@ not the Prelude versions:
    functions must match the Prelude types very closely. Details are in
    flux; if you want to use this, ask!
 
+-  List notation, such as ``[x,y]`` or ``[m..n]`` can also be treated
+   via rebindable syntax if you use `-XOverloadedLists`;
+   see :ref:`overloaded-lists`.
+
 :ghc-flag:`-XRebindableSyntax` implies :ghc-flag:`-XNoImplicitPrelude`.
 
 In all cases (apart from arrow notation), the static semantics should be