[racket] Typed Racket: bug with hasheq

From: Abraham Egnor (abe.egnor at gmail.com)
Date: Mon Jul 8 14:26:34 EDT 2013

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]))

-> (require "bug.rkt")
-> (container-value (container (hasheq 'foo "foo")))
; prop:chaperone-contract: expected a chaperone of '#hasheq((foo . "foo")),
;   '#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>

Posted on the users mailing list.