From 65bf1e1344b2f7045049e42e65a69f8328f51565 Mon Sep 17 00:00:00 2001 From: ballerina-bot Date: Wed, 27 Mar 2024 03:08:33 +0000 Subject: [PATCH] [Automated] Update spec in master --- spec/lang/master/index.html | 8 +++++--- spec/lang/master/spec.xml | 8 +++++--- 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/spec/lang/master/index.html b/spec/lang/master/index.html index 1975be74be..fd0b309a98 100644 --- a/spec/lang/master/index.html +++ b/spec/lang/master/index.html @@ -7861,8 +7861,8 @@

6.35.10 Select clause

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 map or stream respectively. +result. A query-select-expr that constructs a mapping must specify a +query-construct-type of map. 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. @@ -7873,7 +7873,7 @@

6.35.10 Select clause

contextually expected type, then the basic type of the value constructed is the basic type of expression following in; 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.

When the query-select-expr is constructing a value of basic type list, mapping, table @@ -14481,6 +14481,8 @@

B. Changes since previous releases

B.1 Summary of changes from 2023R1 to 2024R1

  1. Isolated inference can infer isolated for an object constructor expression.
  2. +
  3. A query-select-expr can construct a stream without explicitly specififying +the stream keyword.
diff --git a/spec/lang/master/spec.xml b/spec/lang/master/spec.xml index 2272bc884d..21b829b9e2 100644 --- a/spec/lang/master/spec.xml +++ b/spec/lang/master/spec.xml @@ -7306,8 +7306,8 @@ with a panic, then the next operation will complete abruptly with a panic.

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 map or stream respectively. +result. A query-select-expr that constructs a mapping must specify a +query-construct-type of map. 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. @@ -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 in; 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.

When the query-select-expr is constructing a value of basic type list, mapping, table @@ -13986,6 +13986,8 @@ public isolated function last(Type v, Type... vs) returns Type = external;

Summary of changes from 2023R1 to 2024R1

  1. Isolated inference can infer isolated for an object constructor expression.
  2. +
  3. A query-select-expr can construct a stream without explicitly specififying +the stream keyword.