<div><div>Hello, </div><div><br></div><div>the file attached causes the following internal error:</div><div><br></div><div>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)</div>
<div>while typechecking:</div><div>(#%app vector ah am as af)</div><div>originally:</div><div>(vector ah am as af)</div><div><br></div><div><br></div><div>(I know that my file is full of errors)</div><div><br></div><div>Cheers</div>
<div>P.</div></div><div><br></div>