diff --git a/lang/spec.html b/lang/spec.html index 66a36f95..a5c9f27c 100644 --- a/lang/spec.html +++ b/lang/spec.html @@ -5858,11 +5858,11 @@
expression
is a subtype of some basic
-type with identifier B, and the module lang.B contains a function
-method-name
then M is B. The identifier for a basic type is the
-reserved identifier used in type descriptors for subtypes of that basic type, as
-listed in the Lang library section.expression
is a subtype of basic type
+with corresponding langlib module lang.B and the module lang.B contains a
+function method-name
then M is B. The module corresponding to each
+basic type is listed in the Lang library
+modules section.value
.@@ -11217,7 +11217,7 @@
The lang library consists of the following modules. With the exception of the
lang.value
, lang.transaction
and
@@ -11317,8 +11317,8 @@
lang.object
modulelang.regexp
moduleThe lang.regexp
module corresponds to tagged data type with tag
-re
.
The lang.regexp
module corresponds to the basic type for the
+tagged data type with tag re
.