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