[racket] Typed Racket error (exporting a struct containing a hash table)

From: Jeremiah Willcock (jewillco at osl.iu.edu)
Date: Sat Dec 10 17:54:23 EST 2011

When I run the following program:

#lang typed/racket
(struct: A ((f : (HashTable Any Any))))
(provide (all-defined-out))

I get the error message:

racket-Linux-install/lib/racket/collects/racket/contract/private/hash.rkt:57:0: 
hash/c: expected either a flat or chaperone contract for the domain, got 
Any

"Check Syntax" does not produce any errors, and highlights the program 
correctly.  My "About DrRacket..." version string is "Welcome to DrRacket, 
version 5.2.0.5--2011-06-21(-/f), english" (from the Git repository as of 
Dec. 6, 2011).  The "provide" form is necessary for the program to fail. 
I would appreciate any help you might be able to give.

-- Jeremiah Willcock


Posted on the users mailing list.