Instead of a table, give the attribute grammar for waitqueue, shared abstract heap types, and sharecomptype to make the syntactic classes clearer. Also remove the binary format note for tags; as previously mentioned, the syntax of tags does not need to change because their sharedness comes from their function type.
Instead of a table, give the attribute grammar for waitqueue, shared abstract heap types, and
sharecomptype
to make the syntactic classes clearer. Also remove the binary format note for tags; as previously mentioned, the syntax of tags does not need to change because their sharedness comes from their function type.Partially resolves #64.