On Mon, Aug 2, 2010 at 9:40 AM, Shriram Krishnamurthi <s...@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 sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
