[racket] Typed Racket HashTable vs Racket HashTable
From the docs (3.13)
"Two hash tables cannot be equal? unless they use the same key-comparison
procedure (equal?, eqv?, or eq?), both hold keys strongly or weakly, and
have the same mutability."
Your TR hash is immutable (created with #hash) and your racket hash is
mutable (created with make-hash).
Tobias
On Mon, 08 Apr 2013 16:49:35 +0200, Andrey Larionov <anlarionov at gmail.com>
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.
--
---------------------------------------------------------
Tobias Hammer
DLR / Robotics and Mechatronics Center (RMC)
Muenchner Str. 20, D-82234 Wessling
Tel.: 08153/28-1487
Mail: tobias.hammer at dlr.de