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

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

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

Posted on the users mailing list.