<div dir="ltr">Oh. Sorry. I was confused by ability to construct hash table many ways. And problem with type inference for hash in typed racket.<div style>Just rewrited my code and test passed.</div><div style><br></div><div style>
sorry for inconvenience. I&#39;m new to Racket :)</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Apr 8, 2013 at 7:04 PM, Tobias Hammer <span dir="ltr">&lt;<a href="mailto:tobias.hammer@dlr.de" target="_blank">tobias.hammer@dlr.de</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">From the docs (3.13)<br>
&quot;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.&quot;<br>
<br>
Your TR hash is immutable (created with #hash) and your racket hash is mutable (created with make-hash).<br>
<br>
Tobias<div class="HOEnZb"><div class="h5"><br>
<br>
<br>
On Mon, 08 Apr 2013 16:49:35 +0200, Andrey Larionov &lt;<a href="mailto:anlarionov@gmail.com" target="_blank">anlarionov@gmail.com</a>&gt; wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Is it a known bug what Typed Racket hash-table fail equality check with<br>
untyped variant?<br>
I&#39;m attaching a source file with a test which prove it as on 5.3.3 and<br>
Today nightlies.<br>
</blockquote>
<br>
<br></div></div><span class="HOEnZb"><font color="#888888">
-- <br>
------------------------------<u></u>---------------------------<br>
Tobias Hammer<br>
DLR / Robotics and Mechatronics Center (RMC)<br>
Muenchner Str. 20, D-82234 Wessling<br>
Tel.: 08153/28-1487<br>
Mail: <a href="mailto:tobias.hammer@dlr.de" target="_blank">tobias.hammer@dlr.de</a><br>
</font></span></blockquote></div><br></div>