9 lines
153 B
Racket
9 lines
153 B
Racket
#;
|
|
(exn-pred exn:fail:contract?)
|
|
#lang scheme
|
|
(require typed/scheme)
|
|
|
|
((with-type #:result (Number -> Number)
|
|
(lambda: ([x : Number]) (add1 x)))
|
|
#f)
|