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]
____________________ Racket Users list: http://lists.racket-lang.org/users