suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove wrapping in typed/racket/async-channel

Browse Source 
Now that TR supports contracted functions, the wrapping
is not necessary.

original commit: 864cda26145ea0503a0874a56d49b2696b2c1e17
This commit is contained in:
Asumu Takikawa 2014-06-30 14:50:28 -04:00
parent 8a23f10c47
commit 5e4b80b498
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/async-channel.rkt
View File

@ -2,7 +2,7 @@
;; This module provides a typed version of racket/async-channel
(require "private/async-channel-wrapped.rkt"
(require racket/async-channel
(for-syntax (only-in (rep type-rep) make-Async-ChannelTop)))
;; Section 11.2.4 (Buffered Asynchronous Channels)