Changes between Version 34 and Version 35 of Language

Timestamp:

05/21/23 09:51:08 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -215 +215 @@
 Constant of type `$scope`, the root dynamic scope.
 
-=== Range literals: `lo .. hi` #range-literals
-
-An expression of the form `lo .. hi` where `lo` and `hi` are integer expressions, represents the range consisting of the integers `lo`, `lo` + 1, ..., `hi` (in that order).
-An expression of the form `lo .. hi # step`, where `lo`, `hi`, and `step` are integer expressions is interpreted as follows.
-If `step` is positive, it represents the range consisting of `lo`, `lo` + `step`, `lo` + 2 ∗ `step`, …, up to and possibly including `hi`.
-To be precise, the infinite sequence is intersected with the set of integers less than or equal to `hi`.
-If `step` is negative, the expression represents the range consisting of `hi`, `hi` + `step`, `hi` + 2 ∗ `step`, . . ., down to and possibly including `lo`.
-Precisely, the infinite sequence is intersected with the set of integers greater than or equal to `lo`.
+=== Range literals: ''a''`..`''b'' and ''a''`..`''b''`#`''c'' #range-literals
+
+A range literal has form
+  ''expr'' `..` ''expr'' ( `#` ''expr'' )?
+The two or three sub-expressions (the third is optional) have integer type and the type of the entire expression is `$range`.
+
+The range literal ''a''`..`''b'' represents the range consisting of the integers ''a'', ''a''+1, ..., ''b'' (in that order).
+
+The range literal ''a''`..`''b''`#`''c'' is interpreted as follows.
+If ''c'' is positive, it represents the range consisting of ''a'', ''a''+''c'', ''a''+2''c'', ...,  up to and possibly including ''b''.
+To be precise, the infinite sequence is intersected with the set of integers less than or equal to ''b''.
+If ''c'' is negative, the expression represents the range consisting of ''b'', ''b''+''c'', ''b''+2''c'', ..., down to and possibly including ''a''.
+Precisely, the infinite sequence is intersected with the set of integers greater than or equal to ''a''.
 
 === The scope of an expression: `$scopeof` #scopeof
 
-Given any left-hand-side expression ''expr'', the expression `$scopeof(`''expr''`)` evaluates to the dynamic scope containing the object specified by ''expr''.
+The syntax is
+  `$scopeof` `(` ''expr'' `)` 
+where ''expr'' is an expression that can occur on the left hand side of an assignment operator (i.e., an lvalue).
+It evaluates to the dynamic scope containing the object specified by ''expr''.
 The following example illustrates the semantics of the `$scopeof` operator. All of the assertions hold:
 {{{