Re: [racket] Typed Racket HashTable vs Racket HashTable

2013-04-08 Thread Andrey Larionov
Right now i'm understand my mistake. Is there any function to perform equality check between mutable and immutable hash-tables? On Mon, Apr 8, 2013 at 7:06 PM, Asumu Takikawa wrote: > is is actually not a bug. In your example, the TR code creates an > immutable hash literal with `#hash`. The unt

Re: [racket] Typed Racket HashTable vs Racket HashTable

2013-04-08 Thread Andrey Larionov
(created with make-hash). > > Tobias > > > > On Mon, 08 Apr 2013 16:49:35 +0200, Andrey Larionov > wrote: > > Is it a known bug what Typed Racket hash-table fail equality check with >> untyped variant? >> I'm attac

[racket] Typed Racket HashTable vs Racket HashTable

2013-04-08 Thread Andrey Larionov
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. hash-table-test.tar.gz Description: GNU Zip compressed data Racket Users list: http://lists.rac

[racket] Typed Racket generalization and inference for containers

2013-04-07 Thread Andrey Larionov
Hello, Racket community. I'm a newbie and just started study Racket and Typed Racket and a little confused with generalization and inference. I found what inference works different for different containers type. For example: Set: > (set 0 195 196) - : (Setof Byte) (set 0 195 196) List: > '((195 . 1