PSS — New PSS Issue: Is the PSDL Grammar Too Complicated?

When examining the PSDL grammar in the Persistent State Service,
orbos/99-07-07, I came too the conclusion that it is over-specified.
Looking through the IDL grammar, great care is taken to avoid
overexpansion of the declarator productions. In particular, semantic
rules are employed to restrict the use of scoped names (acting as types)
in those situations where a particular use may be invalid. These rules
could be applied in the same way to the declarator syntax for state
members. Thus, there is no need to restrict the grammar to "abstract
storagetype" types for declarators; any scoped name should work as
elsewhere. Certainly, however, there should be semantic rules that only
abstract storagetype types may be used in an abstract storagetype
definition.

rejected