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

Otherwise we don't handle nesting.

Browse Source 
original commit: 052849c1bbca03cd4aa778665da87f919959c48f
This commit is contained in:
Stevie Strickland 2008-06-18 18:09:50 -04:00
parent a8a55f440a
commit 395e0fc733
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -60,7 +60,8 @@
(eq? name (cdr drest)))
(make-arr (append
(map sb dom)
(map (lambda (img) (substitute img name (car drest))) images))
;; We need to recur first, just to expand out any dotted usages of this.
(map (lambda (img) (substitute img name (sb (car drest)))) images))
(sb rng)
#f
#f