From e34babbff007d28aa2206b99adfd93e996f03cbc Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 9 Jun 2010 15:28:10 -0400 Subject: [PATCH] Fixed the implementation of Channel types. original commit: 436e001b0e485111da5772f54fcf004eec8a3068 --- collects/typed-scheme/types/printer.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/typed-scheme/types/printer.rkt b/collects/typed-scheme/types/printer.rkt index 23cee27b..e6208201 100644 --- a/collects/typed-scheme/types/printer.rkt +++ b/collects/typed-scheme/types/printer.rkt @@ -197,8 +197,7 @@ (Mu: var (Union: (list (Value: '()) (Pair: (F: x) (F: var))))) (Mu: y (Union: (list (F: x) (Pair: (F: x) (F: y))))) (Vector: (F: x)) - (Box: (F: x)) - (Channel: (F: x)))))) + (Box: (F: x)))))) (fp "Syntax")] [(Mu-name: name body) (fp "(Rec ~a ~a)" name body)] ;; FIXME - this should not be used