| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Mon Aug 2 09:40:33 EDT 2010 |
|
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. Shriram
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}