Add note for rebindable syntax of [a..b]
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 19 Dec 2016 15:06:34 +0000 (15:06 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 21 Dec 2016 12:26:24 +0000 (12:26 +0000)
See Trac #12969

docs/users_guide/glasgow_exts.rst

index b28edf7..919ec7d 100644 (file)
@@ -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