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

Fixed the implementation of Channel types.

Browse Source 
original commit: 436e001b0e485111da5772f54fcf004eec8a3068
This commit is contained in:
Vincent St-Amour 2010-06-09 15:28:10 -04:00
parent feaef17915
commit e34babbff0
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/types/printer.rkt
View File

@ -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