[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Revision of SRFI 76 available - questions and comments
Some miscellaneous issues:
> - I've changed the syntax of the OPAQUE and SEALED clauses to carry a
> boolean operand.
I notice this operand is evaluated at runtime. I am not too familiar
with the issues involved, but I suspect these attributes may
be useful for compile-time analysis of allocation and optimization
strategies, which may become more difficult with this choice.
> - I've changed the semantics of field-id to always be local to the
> specified rtd, rather than global. This makes it easier to later
> extend the abstractions to multiple inheritance, should anyone ever
> want to do so, and leaves less room for ambiguity.
I cannot find where this explained in the document.
> - The field names passed to MAKE-RECORD-TYPE-DESCRIPTOR are now
> required to be distinct.
I think the sentence beginning with "If more than one field has the given name"
in the document is in conflict with this statement.
Also, I cannot figure out from the document if parent fields may be
repeated in a child.
Finally, I think an specification is still missing for the visibility
of the various defined bindings in the various 'expression's
occurring in the syntactic layer.