[racket-dev] Blame and re-provided bindings

Yes, I think that is correct and somehow in line with our 'market force' thinking. 


On Jan 15, 2011, at 12:15 PM, Robby Findler wrote:

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