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

Only use free-identifier=? when it's an identifier.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-17 10:43:37 -04:00
parent cf33d49c26
commit 8d810160f2
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/typed-scheme/private/tc-app-unit.ss
View File

@ -542,11 +542,13 @@
(tc/rec-lambda/check form #'(args ...) #'body #'lp ts expected) (tc/rec-lambda/check form #'(args ...) #'body #'lp ts expected)
(ret expected))] (ret expected))]
[(#%plain-app or/andmap f arg) [(#%plain-app or/andmap f arg)
(and (or (free-identifier=? #'or/andmap #'ormap) (and
(free-identifier=? #'or/andmap #'andmap)) (identifier? #'or/andmap)
(with-handlers (#;[exn:fail? (lambda _ #f)]) (or (free-identifier=? #'or/andmap #'ormap)
(tc/dots #'arg) (free-identifier=? #'or/andmap #'andmap))
#t)) (with-handlers (#;[exn:fail? (lambda _ #f)])
(tc/dots #'arg)
#t))
(let-values ([(ty bound) (tc/dots #'arg)]) (let-values ([(ty bound) (tc/dots #'arg)])
(parameterize ([current-tvars (extend-env (list bound) (parameterize ([current-tvars (extend-env (list bound)
(list (make-DottedBoth (make-F bound))) (list (make-DottedBoth (make-F bound)))