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