On Mon, Aug 2, 2010 at 9:58 AM, Shriram Krishnamurthi s...@cs.brown.edu wrote:
1'. That seems unlikely given that if I instead add insert to the
above (#lang racket) source file and run Check Syntax, I get the same
error -- so it is indeed a static error. (Well, maybe not static,
there are
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.)
On Mon, Aug 2, 2010 at 11:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
2 matches
Mail list logo