Hi Jungkee,
Jungkee Song:
While reading about "dictionary" from your "Web IDL (Second Edition)" draft,
I found a part that needs clarification:
----->8-----
3.3 Dictionaries
If the Type is an identifier or an identifier followed by ?, then the
identifier must identify an interface, *dictionary*, enumeration, callback
function or typedef.
----->8-----
The spec allows dictionary type to go "nullable" here.
----->8-----
3.10.22 Nullable types
The inner type must not be any, a *dictionary* type, another nullable type,
or a union type that itself has includes a nullable type or has a dictionary
type as one of its flattened member types.
----->8-----
It does not allow "nullable" here.
From the mail history I looked up, the intention is to not allow nullable
dictionary type any more. It that right?
That's right. I've corrected that description of allowable dictionary
member types, as well as for operation return types and arguments.
Thanks,
Cameron
