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 ____________________ Racket Users list: http://lists.racket-lang.org/users
