The problem isn't that you can't contract base values, the problem is that they are checked when the values crosses the boundary and that's that. It's too eager.
Matthew added chaperons a while back and we will use those to change the world. Perhaps. On Aug 2, 2010, at 1:18 PM, Shriram Krishnamurthi wrote: > Arjun just pointed out to me that the inability to contract base > values can lead to much harder-to-understand problems in higher-order > contexts. (Not surprising, but I hadn't thought that that would make > it much worse.) _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev