[racket-dev] Typed Racket and eq?

On Mon, Aug 2, 2010 at 9:40 AM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> If I export map (w/out change to type) from typed/racket and eq? it
> against the map from racket, the two are eq?.  This feels like a
> violation of abstraction: typed map is a "different thing" from
> untyped map.

TR doesn't put additional contracts on the implementation of Racket
primitives, since they already come with error-checking.  I'm not sure
what you would want the difference in behavior to be between the two
versions of `map'.
-- 
sam th
samth at ccs.neu.edu