14 lines
305 B
Racket
14 lines
305 B
Racket
#lang typed/racket/no-check
|
|
|
|
(provide double-place echo-place)
|
|
|
|
|
|
(: double-place (Place-Channel -> Void))
|
|
(define (double-place pch)
|
|
(place-channel-put pch (* 2 (place-channel-get pch))))
|
|
|
|
|
|
(: echo-place (Place-Channel -> Void))
|
|
(define (echo-place pch)
|
|
(place-channel-put pch (place-channel-get pch)))
|