12 lines
230 B
Racket
12 lines
230 B
Racket
#lang racket
|
|
|
|
(define (f x) (add1 x))
|
|
(provide f)
|
|
(module* m typed/racket
|
|
(require/typed (submod "..") [f (Integer -> Integer)])
|
|
(f 7))
|
|
|
|
(module* n typed/racket
|
|
(require/typed (submod "..") [f (Integer -> String)])
|
|
(f 7))
|