[plt-scheme] Typed Scheme: Expected Number, but got Number

From: Noel Welsh (noelwelsh at gmail.com)
Date: Mon Jan 25 17:08:07 EST 2010

Not sure what is going on here:

Welcome to DrScheme, version 4.2.4.1-svn25jan2010 [3m].
> (define: (foo (str : String)) : Number (let ([opcode (string->number str 16)]) (if opcode opcode (error "bum"))))
. . Type Checker: Expected Number, but got Number in: (let ((opcode
(string->number str 16))) (if opcode opcode (error "bum")))


N.


Posted on the users mailing list.