8 lines
141 B
Racket
8 lines
141 B
Racket
#;
|
|
(exn-pred exn:fail:contract? #rx".*produced: 3" #rx".*promised: String.*" )
|
|
|
|
#lang typed/racket/base
|
|
|
|
((cast (lambda () 3) (-> String)))
|
|
|