[racket] Typed Racket HashTable vs Racket HashTable

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?`.

Cheers,
Asumu