w3c / mnx

Music Notation CG next-generation music markup proposal.
179 stars 18 forks source link

Should `index` and `number` in global measure be required? #327

Closed GeorgeTailor closed 7 months ago

GeorgeTailor commented 7 months ago

Similar to #326 if the value is omitted, some default should be present, meaning that both index and number should be required in global measure from the specification point of view?

adrianholovaty commented 7 months ago

The docs specify the default behavior for both "index" and "number" if either of them is empty:

With that in mind, it makes sense that neither of them is required, because sensible defaults are in place. In general, the philosophy of MNX is that we try not to encode information that's derivable or duplicate; this helps avoid ambiguous situations in a document.

Marking this as closed because I don't see anything that needs to change here.