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

Constraining with bottom produces trivial constraints, not missing constraints.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-07-07 16:54:46 -04:00
parent 589ba9d77a
commit f9c91d6b8a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/infer-unit.ss
View File

@ -300,7 +300,7 @@
(cg b b*)]
[((Union: es) S) (cset-meet* (for/list ([e es]) (cg e S)))]
[((Union: es) S) (cset-meet* (cons empty (for/list ([e es]) (cg e S))))]
;; we might want to use multiple csets here, but I don't think it makes a difference
[(S (Union: es)) (or
(for/or