Skip to content
This repository has been archived by the owner on Apr 13, 2023. It is now read-only.

Commit

Permalink
add a note clarifying ceylon/ceylon.ast#118
Browse files Browse the repository at this point in the history
  • Loading branch information
gavinking committed Jul 28, 2016
1 parent 6fd3918 commit 7978537
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions typechecker/en/modules/expressions.xml
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down

0 comments on commit 7978537

Please sign in to comment.