[racket] Typed Racket HashTable vs Racket HashTable

Oh. Sorry. I was confused by ability to construct hash table many ways. And
problem with type inference for hash in typed racket.
Just rewrited my code and test passed.

sorry for inconvenience. I'm new to Racket :)


On Mon, Apr 8, 2013 at 7:04 PM, Tobias Hammer <tobias.hammer at dlr.de> wrote:

> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130408/fd6f5207/attachment.html>