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

* Added code to check that substitution gets rid of all appropriate

Browse Source 
variables (and fails if not)
 * Added weird dotted as subtype of * case (dcon-exact)

original commit: 6296ffbfcf85a624227f11f486fb195954e4479b
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-20 13:07:08 -04:00
parent ee044ee4c4
commit 53200d23db
1 changed files with 1 additions and 1 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

@ -97,7 +97,7 @@
target))
;; substitute many variables
;; substitution = Listof[List[Name,Type]]
;; substitution = Listof[U List[Name,Type] List[Name,Listof[Type]]]
;; subst-all : substition Type -> Type
(define (subst-all s t)
(for/fold ([t t]) ([e s])