typed-racket/typed-racket-test/succeed/cast-no-check.rkt
2014-12-16 10:07:25 -05:00

5 lines
61 B
Racket

#lang typed/racket/no-check
(cast 5 Number)
(cast 5 String)