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

remove trace

Browse Source 
original commit: e06a22c29b3e36cc4f51822b3d4b8ddcff6d682e
This commit is contained in:
Sam Tobin-Hochstadt 2008-07-07 12:27:08 -04:00
parent 70d1b6b497
commit 6fac649e7a
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))])
target))
(trace substitute-dots)
;; substitute many variables
;; substitution = Listof[U List[Name,Type] List[Name,Listof[Type]]]
;; subst-all : substition Type -> Type