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.

Attachment: sofisms-bug.rkt
Description: Binary data

_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev

Reply via email to