[plt-dev] rico

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?