[plt-scheme] uninstalling .plt packages in 299

From: Jacob Matthews (jacobm at cs.uchicago.edu)
Date: Thu Feb 3 11:55:28 EST 2005

Matthew Flatt wrote:

>Ok, I see a bug. If no collections (other than "info-domain") are left
>in a collection root, then the info-domain cache is not updated.
>
>Is that what you're seeing?
>  
>
Is the intended behavior that info-domain files should always be rebuilt 
every time the user runs setup-plt? If that's the case, I can fix it to 
do that, I was just editing setup-unit.ss to deal with PLaneT stuff 
recently so it's current in my head.

-jacob



Posted on the users mailing list.