8 lines
164 B
Racket
8 lines
164 B
Racket
#;
|
|
(exn-pred exn:fail:syntax? #rx".*free variables.*")
|
|
|
|
#lang typed/racket/base
|
|
|
|
(: f (All (a) (Number -> (Any -> Boolean : a))))
|
|
(define (f x) (make-predicate a))
|