10 lines
148 B
Racket
10 lines
148 B
Racket
#;
|
|
(exn-pred exn:fail:syntax? #rx"free variables")
|
|
|
|
#lang racket/load
|
|
|
|
(require typed/racket/base)
|
|
|
|
(define: (a) (f (x : Number)) : a
|
|
(cast x a))
|