8 lines
128 B
Racket
8 lines
128 B
Racket
#;
|
|
(exn-pred exn:fail?)
|
|
#lang typed/racket
|
|
|
|
(let ([x 1] [y "2"])
|
|
(with-asserts ([x string?] [y integer?])
|
|
x))
|