suzanne.soy/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
This commit is contained in:
Stevie Strickland 2008-06-18 18:53:46 -04:00
parent 052849c1bb
commit 51ec643172
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)) (define (sb t) (substitute-dots images name t))
(if (hash-ref (free-vars* target) name #f) (if (hash-ref (free-vars* target) name #f)
(type-case sb target (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*) (int-err "substitute-dots: got single variable ~a" name*)
target)] target)]
[#:F name* target]
[#:arr dom rng rest drest thn-eff els-eff [#:arr dom rng rest drest thn-eff els-eff
(if (and (pair? drest) (if (and (pair? drest)
(eq? name (cdr drest))) (eq? name (cdr drest)))