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

Oh, as in if it's exported with a contract, work out a type?  I see.

--Carl

On Thu, Apr 2, 2009 at 1:17 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> I mean pick up the types from the contracts without having to say it again.
>
> On Thu, Apr 2, 2009 at 12:17 PM, Carl Eastlund <carl.eastlund at gmail.com> wrote:
>> That's pretty much what require/typed is.  You can use require for
>> already-typed bindings, or require/typed for untyped bindings; it
>> gives Typed Scheme a type to work with and adds a contract to ensure
>> the type.
>>
>> --Carl
>>
>> On Thu, Apr 2, 2009 at 1:13 PM, Robby Findler
>> <robby at eecs.northwestern.edu> wrote:
>>> Why not allow requires of modules that have contracts (perhaps in a
>>> sublanguage of the contract language that correspond to TS types) too?
>>>
>>> Robby