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

From: Joe Gibbs Politz (joe at cs.brown.edu)
Date: Tue Feb 5 16:06:12 EST 2013

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130205/b977f830/attachment.html>

Posted on the users mailing list.