On Mon, Aug 2, 2010 at 11:07 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > > Now, you will say but TR wraps only defined identifiers. I think that is a > SUBTLE and INTENSIONAL difference that in principle, a client such as C > shouldn't even see. Modules are not supposed to be inspected for who defines > what and so on. They are supposed to be service providers will well-defined > interfaces.
> Your interface says that all provided identifiers went thru typing and went > thru a typed provide interface. I don't believe that there are any extensional observations that can be made to distinguish these. `eq?' is a special case, here as in many other places. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
