diff --git a/index.bs b/index.bs index c9e4f3c8..653b5e3c 100644 --- a/index.bs +++ b/index.bs @@ -5595,8 +5595,7 @@ and the return type and argument list (matching Typ and ArgumentList) on the right side of the equals sign gives the signature of the callback function type. -[=Callback functions=] must not -be used as the type of a [=constant=]. +[=Callback functions=] must not be used as the type of a [=constant=]. The following extended attribute is applicable to callback functions: [{{LegacyTreatNonObjectAsNull}}]. @@ -6321,8 +6320,9 @@ implicitly understood from context that the map is being treated as an instance dictionary type. However, there is no way to represent a constant dictionary value inside IDL fragments. -The [=type name=] of a dictionary type -is the [=identifier=] of the dictionary. +Dictionaries must not be used as the type of an [=attribute=] or [=constant=]. + +The [=type name=] of a dictionary type is the [=identifier=] of the dictionary.

Enumeration types

@@ -6364,6 +6364,8 @@ callback function type value. See [[#es-callback-function]]. There is no way to represent a constant [=callback function=] value in IDL. +Callback functions must not be used as the type of a [=constant=]. + The [=type name=] of a callback function type is the [=identifier=] of the callback function. @@ -6442,9 +6444,7 @@ The literal syntax for [=lists=] may also be used to represent sequences, when i understood from context that the list is being treated as a sequences. However, there is no way to represent a constant sequence value inside IDL fragments. -Sequences must not be used as the -type of an [=attribute=] or -[=constant=]. +Sequences must not be used as the type of an [=attribute=] or [=constant=]. Note: This restriction exists so that it is clear to specification writers and API users that [=sequence types|sequences=] @@ -6478,8 +6478,7 @@ being kept by that object. Similarly, any record returned from a platform object will be a copy and modifications made to it will not be visible to the platform object. -Records must not be used as the type of an [=attribute=] or -[=constant=]. +Records must not be used as the type of an [=attribute=] or [=constant=]. The [=type name=] of a record type is the concatenation of the type name for |K|, the type name for |V| and the string "Record".