diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/async-channel.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/async-channel.rkt index 912613d074..804c269204 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/async-channel.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/async-channel.rkt @@ -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) diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/async-channel-wrapped.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/async-channel-wrapped.rkt deleted file mode 100644 index f774410b0a..0000000000 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/async-channel-wrapped.rkt +++ /dev/null @@ -1,24 +0,0 @@ -#lang racket -(require (for-syntax racket/syntax)) -(require (prefix-in r: racket/async-channel)) - -;; all the functions from racket/async-channel, but wrapped to hide contracts - -;; create "r:" prefixed identifier -(define-for-syntax (r: id) (format-id id "r:~a" id)) - -;; eta expand to hide contracts -(define-syntax (provide/eta stx) - (syntax-case stx () - [(_ f ...) - (with-syntax ([(r:f ...) (map r: (syntax->list #'(f ...)))]) - #'(begin - (define (f . xs) (apply r:f xs)) ... - (provide f ...)))])) - -(provide/eta async-channel? - make-async-channel - async-channel-get - async-channel-try-get - async-channel-put - async-channel-put-evt)