[racket] Cast in typed/racket/no-check

Fixed, thanks for the report!

Vincent


At Tue, 5 Feb 2013 16:06:12 -0500,
Joe Gibbs Politz wrote:
> 
> [1  <multipart/alternative (7bit)>]
> [1.1  <text/plain; UTF-8 (7bit)>]
> It seems like `cast` doesn't work at all in typed/racket/no-check:
> 
> #lang typed/racket/no-check
> 
> (cast 5 Number)
> 
> ../../usr/lib/racket/collects/racket/contract/private/blame.rkt:89:0: 5:
> broke its contract
>  promised: #f
>  produced: 5
>  in: #f
>  contract from: cast
>  blaming: cast
>  at: unsaved-editor1086360:3.0
> 
> The same error results if you do
> 
> (cast 5 String)
> 
> Is there an easy workaround for this?
> [1.2  <text/html; UTF-8 (quoted-printable)>]
> 
> [2  <text/plain; us-ascii (7bit)>]
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users