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

remove trace

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-07-07 12:27:08 -04:00
parent c43c3baa67
commit e06a22c29b
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/type-utils.ss
View File

@ -115,8 +115,6 @@
(map (lambda (e) (sub-eff sb e)) els-eff))]) (map (lambda (e) (sub-eff sb e)) els-eff))])
target)) target))
(trace substitute-dots)
;; substitute many variables ;; substitute many variables
;; substitution = Listof[U List[Name,Type] List[Name,Listof[Type]]] ;; substitution = Listof[U List[Name,Type] List[Name,Listof[Type]]]
;; subst-all : substition Type -> Type ;; subst-all : substition Type -> Type