Sam, this is an interesting question and you should look into it because the answer isn't obvious:
(module A typed/racket (provide map)) passes map from 'somewhere' through A to two contexts: typed and untyped modules. Given that all provides slap on contracts in TR -- that's what the manual says or should say -- it is surprising that this map should ever be the same as the map that came from 'somewhere'. It certainly wouldn't be the case in a contract world. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
