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

2011-12-10 Thread Sam Tobin-Hochstadt
On Sat, Dec 10, 2011 at 7:35 PM, Jeremiah Willcock wrote: > On Sat, 10 Dec 2011, Sam Tobin-Hochstadt wrote: > >> On Sat, Dec 10, 2011 at 5:54 PM, Jeremiah Willcock >> wrote: >>> >>> When I run the following program: >>> >>> #lang typed/racket >>> (struct: A ((f : (HashTable Any Any >>> (provi

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

2011-12-10 Thread Jeremiah Willcock
On Sat, 10 Dec 2011, Sam Tobin-Hochstadt wrote: On Sat, Dec 10, 2011 at 5:54 PM, Jeremiah Willcock wrote: 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/collect

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

2011-12-10 Thread Sam Tobin-Hochstadt
On Sat, Dec 10, 2011 at 5:54 PM, Jeremiah Willcock wrote: > 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

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

2011-12-10 Thread Jeremiah Willcock
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,