[racket-dev] Blame and re-provided bindings

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Jan 15 12:15:49 EST 2011

This means you think that re-providing should act like a
provide/contract with the any/c contract (as it is currently
(attempting) to do)?

Robby

On Sat, Jan 15, 2011 at 11:14 AM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> I think the bottom line is that we should stick to the explicit notion of re-exporting and this 'feels' right given the general eq? problem.


Posted on the dev mailing list.