[racket] Typed Racket HashTable vs Racket HashTable

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Mon Apr 8 11:06:56 EDT 2013

On 2013-04-08 18:49:35 +0400, Andrey Larionov wrote:
>    Is it a known bug what Typed Racket hash-table fail equality check
>    with untyped variant?  I'm attaching a source file with a test
>    which prove it as on 5.3.3 and Today nightlies.

This is actually not a bug. In your example, the TR code creates an
immutable hash literal with `#hash`. The untyped code uses `make-hash`
to create a mutable hash. Mutable and immutable hashes cannot be equal
under `equal?`.


Posted on the users mailing list.