In the run-up to version 5.3, we introduced some new problems in the
handling of numeric types in Typed Racket, which leads to this not
type checking. These problems have since been corrected, but this is
a bug in the released version. If you use a pre-release build [1],
the code will work correc
I'm using Racket 5.3 that I downloaded via the usual route. I tried
experimenting with Typed Racket starting with the first example
program in the Quick Start section of the Typed Racket Guide, and I
got a type error right away. I then made sure I had exactly the same
code in the file as in the Gui
2 matches
Mail list logo
