12 lines
277 B
Racket
12 lines
277 B
Racket
#lang racket/load
|
|
|
|
(module t1 typed/racket/base
|
|
(provide (all-defined-out))
|
|
(define-struct: f ([n : ((Promise Number) -> Number)])))
|
|
|
|
(module t2 typed/racket/base
|
|
(require racket/promise 't1)
|
|
(: g (f (Promise Number) -> Number))
|
|
(define (g fx k)
|
|
((f-n fx) k)))
|