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

remove debugging printfs, comment out fail test

Browse Source 
original commit: 53a4e4a2e46b98f009487e3357b8eb6cc2a1b586
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-27 10:23:30 -04:00
parent f792d08edb
commit a288c49d64
3 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/succeed/icfp-examples.ss
View File

@ -27,7 +27,7 @@
;; Example 6 has an intentional error
(define: z : (U Number String) 7)
(if (and (number? z) (string? y))
#;(if (and (number? z) (string? y))
(+ z (string-length y))
(string-length z))

10
collects/typed-scheme/typecheck/tc-if.ss
View File

@ -50,10 +50,10 @@
(env-props env-els))]
[(tc-results: ts fs2 os2) (with-lexical-env env-thn (tc thn (unbox flag+)))]
[(tc-results: us fs3 os3) (with-lexical-env env-els (tc els (unbox flag-)))])
(printf "old els-props: ~a\n" (env-props (lexical-env)))
(printf "fs-: ~a~n" fs-)
(printf "els-props: ~a~n" (env-props env-els))
(printf "new-els-props: ~a~n" new-els-props)
;(printf "old els-props: ~a\n" (env-props (lexical-env)))
;(printf "fs-: ~a~n" fs-)
;(printf "els-props: ~a~n" (env-props env-els))
;(printf "new-els-props: ~a~n" new-els-props)
;; if we have the same number of values in both cases
(cond [(= (length ts) (length us))
(let ([r (combine-results
@ -69,7 +69,7 @@
(-or (apply -and fs+ f2- new-thn-props) (apply -and fs- f3- new-els-props)))])]
[type (Un t2 t3)]
[object (if (object-equal? o2 o3) o2 (make-Empty))])
(printf "result filter is: ~a\n" filter)
;(printf "result filter is: ~a\n" filter)
(ret type filter object))))])
(if expected (check-below r expected) r))]
;; special case if one of the branches is unreachable

4
collects/typed-scheme/typecheck/tc-let-unit.ss
View File

@ -35,8 +35,8 @@
[names (in-list namess)])
(match r
[(tc-results: ts (FilterSet: fs+ fs-) os)
(printf "f+: ~a~n" fs+)
(printf "f-: ~a~n" fs-)
;(printf "f+: ~a~n" fs+)
;(printf "f-: ~a~n" fs-)
(values ts
(apply append
(for/list ([n names]