[racket] Typed Racket HashTable vs Racket HashTable

From: Tobias Hammer (tobias.hammer at dlr.de)
Date: Mon Apr 8 11:04:13 EDT 2013

 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

Posted on the users mailing list.