[plt-scheme] mzscheme is still looking for a deleted collection

At Thu, 20 Jan 2005 21:55:02 -0700, Gordon Weakliem wrote:
> I have PLT 208 installed on a gentoo box.  I had a copy of Schematics
> SRFI 13 installed in my private collections, but it seemed to be
> interfering with another collection, so I deleted it, but I left the
> rest of the SRFI tree there (I need Schematics' SRFI 19).  However,
> the module resolver seems to insist on looking for SRFI 13 in my
> private collection path; it's as if it descends into the SRFI
> directory, sees that 13.ss is missing, and gives up, instead of
> continuing down the collecion paths:
> 
> Welcome to MzScheme version 208, Copyright (c) 2004 PLT Scheme, Inc.
> > (require (lib "13.ss" "srfi"))
> default-load-handler: cannot open input file:
> "/home/gweakliem/.plt-scheme/208/collects/srfi/13.ss" (No such file or
> directory; errno=2)
> > (current-library-collection-paths)
> ("/home/gweakliem/.plt-scheme/208/collects" "/usr/share/drscheme/collects")

MzScheme splices collection trees at the collection (or directory)
level, and not at the file level.

So, if I understand your directory layout, then

 (require (lib "string.ss" "srfi" "13"))

will work, because the first "13" sub-collection of a "srfi" collection
is found in "/usr/share/drscheme/collects/srfi". But for

 (require (lib "13.ss" "srfi"))

the first "srfi" collection is found in
"/home/gweakliem/.plt-scheme/208/collects", and no "13.ss" is there.

Matthew