14 lines
187 B
Racket
14 lines
187 B
Racket
#lang racket/load
|
|
(module a typed/racket
|
|
(define (foo x) (list x))
|
|
(provide
|
|
(rename-out (foo foo2))
|
|
foo))
|
|
|
|
(module b racket
|
|
(require 'a)
|
|
(foo 2)
|
|
(foo2 3))
|
|
|
|
(require 'b)
|