subject:"\[racket\-dev\] TR internal error"

Re: [racket-dev] TR internal error

2013-06-21 Thread Asumu Takikawa

On 2013-01-21 10:48:48 +0100, Pierpaolo Bernardi wrote: >the file attached causes the following internal error: >Internal Typechecker Error: bad expected: #(struct:tc-results >(#(struct:tc-result Char - -) #(struct:tc-result (Vector Integer Integer >Integer Integer) - -)) #f) >w

[racket-dev] TR internal error

2013-01-21 Thread Pierpaolo Bernardi

Hello, the file attached causes the following internal error: C:\Program Files\Racket-Full-5.3.2.1\collects\typed-racket\utils\tc-utils.rkt:154:0: Internal Typechecker Error: bad expected: #(struct:tc-results (#(struct:tc-result Char - -) #(struct:tc-result (Vector Integer Integer Integer Integer