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

Fix for empty case-lambdas.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-07-22 17:24:14 -04:00
parent df0ae80a7f
commit c085f51aa2
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/typecheck/tc-app-helper.rkt
View File

@ -243,9 +243,9 @@
;; this point, we've reversed the list) is the most general of ;; this point, we've reversed the list) is the most general of
;; all, subsuming all the others. If that's the case, just go ;; all, subsuming all the others. If that's the case, just go
;; with it. Otherwise, go the slow way. ;; with it. Otherwise, go the slow way.
(define potentially-most-general (car fun-tys-ret-any)) (if (and (not (null? fun-tys-ret-any))
(if (andmap (lambda (c) (subtype potentially-most-general c)) (andmap (lambda (c) (subtype (car fun-tys-ret-any) c))
fun-tys-ret-any) fun-tys-ret-any))
;; Yep. Return early. ;; Yep. Return early.
(apply values (map list (car parts-acc))) (apply values (map list (car parts-acc)))