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

[Matthias Felleisen]

Let Matthew deal with the untyped problem.

You **must** deal with the typed problem. If you have an alternative  
to disallowing this form of require, that's fine We have diagnosed  
the problem, let's find a solution.




On Apr 2, 2009, at 1:26 PM, Sam TH 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).
>
> -- 
> sam th
> samth at ccs.neu.edu