[plt-scheme] typed scheme type checking takes very long

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Feb 24 10:44:24 EST 2010

I'm sorry, I wasn't clear. Anywhere in the result of
current-library-collection-paths isn't touched in this manner (and
that is set by the PLTCOLLECTS environment variable and other things).

Robby

On Wednesday, February 24, 2010, Tomi Neste <tomi.neste at gmail.com> wrote:
>
>
> On Wed, Feb 24, 2010 at 5:06 PM, Robby Findler <robby at eecs.northwestern.edu> wrote:
>
> Files that are located in plt/collects where "plt" is the installation
> directory are considered part of the standard lib (for the reason
> below).
>
> Just put your files in your own directory outsideof the collects tree
> and drscheme will start compiling them for you.
>
> Robby
>
> On Wednesday, February 24, 2010, Tomi Neste <tomi.neste at gmail.com> wrote:
>>
>>
>> On Wed, Feb 24, 2010 at 4:07 PM, Robby Findler <robby at eecs.northwestern.edu> wrote:
>>
>> oh. Why are you doing that? Drscheme assumes that the standArd
>> libraries are all compiled already (since they are, in general, not
>> writeable by users).
>>
>>>  Hmm, I have /home/tomppa/Projects/collects/ included in my collections path and a file /home/tomppa/Projects/collects/foo/foo.ss in there.  I also have a symlink to my collects in ~/.plt-scheme/4.2.4/
>>>
>>> After I run the foo.ss from DrScheme there are still no .zos anywhere. I tried manually adding the compiled/drscheme directories first but no change. Running mzc from shell works fine.
>>>
>>> I have v4.2.4 running on Ubuntu but I think I didn't get it working with earlier versions (with XP & Ubuntu) either.
>>>
>>> --
>>> tomppa
>>>
>>
>> Which part of my message are referring to? If you mean the collects/ I mentioned that is just my personal project directory, not the PLT standard library.
>> --
>> tomppa
>>
> I have PLT installed in ~/PLT/ and no matter where I put the aforementioned test project I don't seem to get the desired results...
>
> --
> tomppa
>


Posted on the users mailing list.