Re: [racket-dev] Racket peephole opt in lieu of TR's generalized ListDots to usefully type hash

2014-06-29 Thread J. Ian Johnson
Thanks, that works even marginally better than (hash k v). -Ian - Original Message - From: "Matthew Flatt" To: "J. Ian Johnson" Cc: "dev" Sent: Sunday, June 29, 2014 2:08:06 AM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] Racket peephole o

Re: [racket-dev] Racket peephole opt in lieu of TR's generalized ListDots to usefully type hash

2014-06-28 Thread Matthew Flatt
How about `(hash-set #hash() k v)`? (I probably should have been more careful in defining `hash` to allow it to return a constant when given 0 arguments.) At Sat, 28 Jun 2014 09:56:05 -0400 (EDT), "J. Ian Johnson" wrote: > I depend highly on creating singleton hashes in my program (one key maps).

[racket-dev] Racket peephole opt in lieu of TR's generalized ListDots to usefully type hash

2014-06-28 Thread J. Ian Johnson
I depend highly on creating singleton hashes in my program (one key maps). I tried a few ways to create them, but alas directly using hash is the best. TR can't type non-nullary applications hash though. The times of the following test are the same in TR as in normal Racket, so I'd like to see p