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

Fix for empty case-lambdas.

Browse Source 
original commit: c085f51aa27313db1695c76af7171e80f68614c3
This commit is contained in:
Vincent St-Amour 2011-07-22 17:24:14 -04:00
parent 3a3a52fd02
commit aae4f8c4b5
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
;; all, subsuming all the others. If that's the case, just go
;; with it. Otherwise, go the slow way.
(define potentially-most-general (car fun-tys-ret-any))
(if (andmap (lambda (c) (subtype potentially-most-general c))
fun-tys-ret-any)
(if (and (not (null? fun-tys-ret-any))
(andmap (lambda (c) (subtype (car fun-tys-ret-any) c))
fun-tys-ret-any))
;; Yep. Return early.
(apply values (map list (car parts-acc)))