Re: grammar entry for <other-options>

There are various more esotheric options that we use or have
experimented with and where we've never made up our mind whether they
should become official or not.  Moreover, it is possible in STELLA to
make the set of options user extensible by defining new dynamic slots
on MODULEs and give them special option keywords to initialize them.
Those would also fall into this category.  I'm not sure what the best
way is to capture all this in the grammar except by saying "other".

Hans

>>>>> Rich Morin <[email protected]> writes:

> The syntax description for defmodule (Chapter 5: Commands, p. 31)
> ends with the line:

>   [<other-options>*])

> but I can't find a definition for this.  Help?

> -r
> -- 
> http://www.cfcl.com/rdm            Rich Morin
> http://www.cfcl.com/rdm/resume     [email protected]
> http://www.cfcl.com/rdm/weblog     +1 650-873-7841

> Technical editing and writing, programming, and web development
> _______________________________________________
> powerloom-forum mailing list
> [email protected]
> http://mailman.isi.edu/mailman/listinfo/powerloom-forum