Skip to content

Commit

Permalink
[Automated] Update spec in master
Browse files Browse the repository at this point in the history
  • Loading branch information
ballerina-bot committed Mar 27, 2024
1 parent 158ff26 commit 65bf1e1
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 6 deletions.
8 changes: 5 additions & 3 deletions spec/lang/master/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -7861,8 +7861,8 @@ <h4 id="section_6.35.10">6.35.10 Select clause</h4>
</pre>
<p>
If a query-construct-type is specified, then it determines the basic type of the
result. A query-select-expr that constructs a mapping or stream must specify a
query-construct-type of <code>map</code> or <code>stream</code> respectively.
result. A query-select-expr that constructs a mapping must specify a
query-construct-type of <code>map</code>.
When constructing a table, the key-specifier specifies the key
sequence of the constructed table in the same way as with a
table-constructor-expr.
Expand All @@ -7873,7 +7873,7 @@ <h4 id="section_6.35.10">6.35.10 Select clause</h4>
contextually expected type, then the basic type of the value constructed is the
basic type of expression following <code>in</code>; it is a compile-time error
if the static type of this expression is not a subtype of one of the basic types
list, table, string or xml.
list, table, string, stream or xml.
</p>
<p>
When the query-select-expr is constructing a value of basic type list, mapping, table
Expand Down Expand Up @@ -14481,6 +14481,8 @@ <h2 id="changes">B. Changes since previous releases</h2>
<h3 id="section_B.1">B.1 Summary of changes from 2023R1 to 2024R1</h3>
<ol>
<li>Isolated inference can infer <code>isolated</code> for an object constructor expression.</li>
<li>A query-select-expr can construct a stream without explicitly specififying
the <code>stream</code> keyword.</li>
</ol>
</section>
<section>
Expand Down
8 changes: 5 additions & 3 deletions spec/lang/master/spec.xml
Original file line number Diff line number Diff line change
Expand Up @@ -7306,8 +7306,8 @@ with a panic, then the next operation will complete abruptly with a panic.
</pre>
<p>
If a query-construct-type is specified, then it determines the basic type of the
result. A query-select-expr that constructs a mapping or stream must specify a
query-construct-type of <code>map</code> or <code>stream</code> respectively.
result. A query-select-expr that constructs a mapping must specify a
query-construct-type of <code>map</code>.
When constructing a table, the key-specifier specifies the key
sequence of the constructed table in the same way as with a
table-constructor-expr.
Expand All @@ -7318,7 +7318,7 @@ type determines the basic type of the value constructed. If there is no
contextually expected type, then the basic type of the value constructed is the
basic type of expression following <code>in</code>; it is a compile-time error
if the static type of this expression is not a subtype of one of the basic types
list, table, string or xml.
list, table, string, stream or xml.
</p>
<p>
When the query-select-expr is constructing a value of basic type list, mapping, table
Expand Down Expand Up @@ -13986,6 +13986,8 @@ public isolated function last(Type v, Type... vs) returns Type = external;
<h3>Summary of changes from 2023R1 to 2024R1</h3>
<ol>
<li>Isolated inference can infer <code>isolated</code> for an object constructor expression.</li>
<li>A query-select-expr can construct a stream without explicitly specififying
the <code>stream</code> keyword.</li>
</ol>
</section>
<section>
Expand Down

0 comments on commit 65bf1e1

Please sign in to comment.