Re: [racket-users] Hashtable type inference

2016-02-17 Thread Bert De Ketelaere
Weird, I thought I tried that, Anyway, now it works: Thank you Van: sam...@gmail.com namens Sam Tobin-Hochstadt Verzonden: woensdag 17 februari 2016 16:29 Aan: Bert De Ketelaere CC: us...@racket-lang.org Onderwerp: Re: [racket-users] Hashtable type

Re: [racket-users] Hashtable type inference

2016-02-17 Thread Sam Tobin-Hochstadt
The problem is unfortunately with Typed Racket heuristics that work very badly here. The fix is to add some annotations around the calls to `make-immutable-hash`, as in the version below. Sam #lang typed/racket/base (struct H ([I : (HashTable Integer Number)])) (define J (cast 1 Nonnegative-Inte

[racket-users] Hashtable type inference

2016-02-17 Thread Bert De Ketelaere
Hello, I had some trouble finding my bugs in the following similar programs: #lang typed/racket/base (struct H ([I : (HashTable Integer Number)])) (define J (cast 1 Nonnegative-Integer)) (define K (H (make-immutable-hash (list (cons J J) (struct-copy H K [I (make-immutable-hash (list (con