[racket-dev] Typed Racket and eq?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Aug 2 10:36:54 EDT 2010

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. 

Posted on the dev mailing list.