[racket-dev] TR internal error

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) - -)) #f)
while typechecking:
(#%app vector ah am as af)
originally:
(vector ah am as af)


(I know that my file is full of errors)

Cheers
P.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130121/30f53817/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: sofisms-bug.rkt
Type: application/octet-stream
Size: 14665 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130121/30f53817/attachment.obj>