grammar entry for <other-options> ?

View: New views
2 Messages — Rating Filter:   Alert me  

grammar entry for <other-options> ?

by Rich Morin :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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     rdm@...
http://www.cfcl.com/rdm/weblog     +1 650-873-7841

Technical editing and writing, programming, and web development
_______________________________________________
powerloom-forum mailing list
powerloom-forum@...
http://mailman.isi.edu/mailman/listinfo/powerloom-forum

Re: grammar entry for <other-options>

by Hans Chalupsky :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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 <rdm@...> 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     rdm@...
> http://www.cfcl.com/rdm/weblog     +1 650-873-7841

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