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

If there are extra effects, let them be.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-07-07 17:15:43 -04:00
parent 8599321b57
commit 6a607be6a9
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

@ -105,7 +105,7 @@
[(_ _) (fail! t s)])) [(_ _) (fail! t s)]))
(define (cgen/eff/list V X ts ss) (define (cgen/eff/list V X ts ss)
(unless (= (length ts) (length ss)) (fail! ts ss)) (unless (>= (length ts) (length ss)) (fail! ts ss))
(cset-meet* (for/list ([t ts] [s ss]) (cgen/eff V X t s)))) (cset-meet* (for/list ([t ts] [s ss]) (cgen/eff V X t s))))
(define (cgen/arr V X t-arr s-arr) (define (cgen/arr V X t-arr s-arr)