summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2016-12-19 15:06:34 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2016-12-21 12:26:24 +0000
commitc73a982bc49a234a030cea2496b70829c98b1e10 (patch)
tree4537cc9e76abc8ad3f11c9d4aa6d5006e7025b52
parentf97d489911aabd2396f5df87efd7d1d164017142 (diff)
downloadhaskell-c73a982bc49a234a030cea2496b70829c98b1e10.tar.gz
Add note for rebindable syntax of [a..b]
See Trac #12969
-rw-r--r--docs/users_guide/glasgow_exts.rst4
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index b28edf7a53..919ec7d468 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