[racket] Typed Racket: bug with hasheq
Apologies if this isn't the right forum, I couldn't find bug-reporting
information via the typed racket documentation.
It seems that typed racket doesn't play well with hasheq in certain
circumstances. A minimal repro case:
File "bug.rkt":
#lang typed/racket
(provide (struct-out container))
(struct: container ([value : Any]))
REPL:
-> (require "bug.rkt")
-> (container-value (container (hasheq 'foo "foo")))
; prop:chaperone-contract: expected a chaperone of '#hasheq((foo . "foo")),
got
; '#hash((foo . "foo")) [,bt for context]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130708/0aab402f/attachment.html>