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

I'm not sure what to do about this, given the recursive sb call.

Browse Source 
original commit: 51ec643172e3893701b2a68ca7a5430ddac7ee8c
This commit is contained in:
Stevie Strickland 2008-06-18 18:53:46 -04:00
parent 395e0fc733
commit 156c0d0d38
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -52,9 +52,11 @@
(define (sb t) (substitute-dots images name t))
(if (hash-ref (free-vars* target) name #f)
(type-case sb target
[#:F name* (if (eq? name* name)
;; The way I handled this in my type system is via type validity checking. Hrmm.
#;[#:F name* (if (eq? name* name)
(int-err "substitute-dots: got single variable ~a" name*)
target)]
[#:F name* target]
[#:arr dom rng rest drest thn-eff els-eff
(if (and (pair? drest)
(eq? name (cdr drest)))