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
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
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
3 matches
Mail list logo