[plt-scheme] srfi/1 messes typed-scheme

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Apr 2 13:55:07 EDT 2009

I said requiring UNtyped modules should raise errors. It is almost  
always the wrong thing to do.


On Apr 2, 2009, at 1:46 PM, Paulo J. Matos wrote:

> On Thu, Apr 2, 2009 at 5:26 PM, Sam TH <samth at ccs.neu.edu> wrote:
>> On Thu, Apr 2, 2009 at 1:11 PM, Matthias Felleisen  
>> <matthias at ccs.neu.edu> wrote:
>>>
>>> The error message is clearly uninformative and unhelpful, which  
>>> points out
>>> that in some sense a plain require shouldn't work at all in TS  
>>> modules
>>> UNLESS they refer to a typed module. -- Matthias
>>
>> I agree the error message is unhelpful, but I think that's a problem
>> with name shadowing, not with Typed Scheme.
>>
>> Plain `require' is also useful for syntax (`scheme/match', for  
>> example).
>>
>
> Definitely I use the normal require for typed-scheme modules and
> scheme/match regularly.
>
>> --
>> sam th
>> samth at ccs.neu.edu
>>
>
>
>
> -- 
> Paulo Jorge Matos - pocmatos at gmail.com
> Webpage: http://www.personal.soton.ac.uk/pocm



Posted on the users mailing list.