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

remove debugging code

Browse Source 
svn: r18087

original commit: 89da61307393a19dbf7ae90942c1301616939edb
This commit is contained in:
Sam Tobin-Hochstadt 2010-02-15 18:36:26 +00:00
parent 05c08898a6
commit f25f361bbc
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/typed-scheme/private/type-contract.ss
View File

@ -54,7 +54,6 @@
(let loop ([ty ty] [pos? #t] [from-typed? from-typed?] [structs-seen null])
(define (t->c t #:seen [structs-seen structs-seen]) (loop t pos? from-typed? structs-seen))
(define (t->c/neg t #:seen [structs-seen structs-seen]) (loop t (not pos?) (not from-typed?) structs-seen))
(trace t->c)
(match ty
[(or (App: _ _ _) (Name: _)) (t->c (resolve-once ty))]
;; any/c doesn't provide protection in positive position