[racket-dev] Blame and re-provided bindings
On Fri, Jan 14, 2011 at 4:35 PM, Stevie Strickland <sstrickl at ccs.neu.edu> wrote:
> On Jan 14, 2011, at 5:24 PM, Casey Klein wrote:
>
>> Regardless, though, I still think we need some way to re-export a
>> contracted value that makes the re-importer the negative party on the
>> contract.
>
> I'm not necessarily in disagreement, but currently I think this should be an explicit action.
Explicit is fine with me. I just want to avoid giving names to all the
contracts and re-applying them in the re-provider.