From 79785375f89c273a37281d167a2d3ad1030b49cb Mon Sep 17 00:00:00 2001
From: gavinking <gavin@ceylon-lang.org>
Date: Thu, 28 Jul 2016 13:53:34 +0200
Subject: [PATCH] add a note clarifying
 https://github.com/ceylon/ceylon.ast/issues/118

---
 typechecker/en/modules/expressions.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/typechecker/en/modules/expressions.xml b/typechecker/en/modules/expressions.xml
index b61f67cbb60..648071e7ad1 100644
--- a/typechecker/en/modules/expressions.xml
+++ b/typechecker/en/modules/expressions.xml
@@ -2631,6 +2631,12 @@ Digit{1,2} ":" Digit{2} ( ":" Digit{2} ( ":" Digit{3} )? )?
     <para>Operands within brackets in any subrange operator are parsed as if they
     were operands of the <literal>..</literal> or <literal>:</literal> operators.</para>
     
+    <comment><para>Note: an ambiguity exists in interpretation of expressions like
+    <literal>map[n..m]</literal> and <literal>map[0:l]</literal>, where the expression 
+    could in principle be interpreted as a lookup operator applied to a range 
+    constructor. This ambiguity is always resolved in favor or interpreting the 
+    expression as a subrange operator.</para></comment>
+    
     <para>There are two special cases related to sequences. A type <literal>X</literal>
     is a <emphasis>sequence type</emphasis> if <literal>X</literal> is a subtype of 
     <literal>Sequential&lt;Anything&gt;</literal>.</para>