typed-racket/typed-racket-test/fail/cast-top-level1.rkt
2014-12-16 10:07:25 -05:00

9 lines
142 B
Racket

#;
(exn-pred exn:fail:syntax? #rx".*could not be converted.*")
#lang racket/load
(require typed/racket)
(cast 2 (All (a) (Ephemeronof a)))