Changes between Version 47 and Version 48 of Language

Timestamp:

05/22/23 14:28:42 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -256 +256 @@
 }}}
 
-=== Scope relational expressions #scope-expressions
+=== Scope expressions #scope-expressions
 
 Let ''s,,1,,'' and ''s,,2,,'' be expressions of [#scope-type type $scope]. The following are all CIVL-C expressions of boolean type:
@@ -266 +266 @@
 * ''s,,1,,''`>`''s,,2,,'' is equivalent to ''s,,2,,''`<`''s,,1,,''.
 * ''s,,1,,''`>=`''s,,2,,'' is equivalent to ''s,,2,,''`<=`''s,,1,,''.
+
+The expression ''s,,1,,''`+`''s,,2,,'' evaluates to the lowest common ancestor of ''s,,1,,'' and ''s,,2,,'' in the dynamic scope tree.
+This is the smallest dynamic scope containing both ''s,,1,,'' and ''s,,2,,''.
 
 Each of these expressions is erroneous if ''s,,1,,'' or ''s,,2,,'' is undefined.