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 > <[email protected]> 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. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

