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

On Thu, Apr 2, 2009 at 5:55 PM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>
> I said requiring UNtyped modules should raise errors. It is almost always
> the wrong thing to do.
>

I didn't mean to say you said something else. I just commented on it
to say: "Hey, please, let me still use require for typed modules and
syntax... don't change that!".

>
> 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
>
>



-- 
Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm