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

remove debugging printf

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-07-09 14:06:46 -04:00
parent d030d0631d
commit e28b60e44f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/infer/infer-unit.rkt
View File

@ -529,7 +529,7 @@
[Contravariant T] [Contravariant T]
[Invariant [Invariant
(let ([gS (generalize S)]) (let ([gS (generalize S)])
(printf "Inv var: ~a ~a ~a ~a\n" v S gS T) ;(printf "Inv var: ~a ~a ~a ~a\n" v S gS T)
(if (subtype gS T) (if (subtype gS T)
gS gS
S))]))])) S))]))]))