On 04/04/2010 04:12 PM, Eli Barzilay wrote:
On Apr 4, Jon Rafkind wrote:
Thats cool. Could rico separate different commands by their respective
module? Maybe also force some prefix so that identical commands can be used.
$ rico --help
* compiler commands
c-ext ...
make ...
* htdp commands
whatever ...
make ...
If the user just chose `make' then it would select the one with the
highest precedence, otherwise they can use --htdp:make to select that
specific one.
That would be roughly the same as `racket -l htdp/make', only with
precedence to make sure that you always use the full name because
you'll rely on it.
And for this reason, IMO it would be good to throw an error if a
command is redefined somewhere -- so random tools cannot grab `rico
setup'.
Well what about separate planet packages that define the same command?
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
