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

remove debugging printfs, comment out fail test

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-27 10:23:30 -04:00
parent 83c1671972
commit 53a4e4a2e4
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 ;; Example 6 has an intentional error
(define: z : (U Number String) 7) (define: z : (U Number String) 7)
(if (and (number? z) (string? y)) #;(if (and (number? z) (string? y))
(+ z (string-length y)) (+ z (string-length y))
(string-length z)) (string-length z))

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

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