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

This shouldn't be here :p

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-07-07 13:13:32 -04:00
parent e06a22c29b
commit 3cd8878999
2 changed files with 5 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -353,8 +353,8 @@
(gensym dbound))]
[new-tys (for/list ([var vars])
(substitute (make-F var) dbound t-dty))]
[new-cset (cgen/list V X ss (append ts new-tys))])
(move-vars-to-dmap new-cset vars dbound))]
[new-cset (cgen/list V (append vars X) ss (append ts new-tys))])
(move-vars-to-dmap new-cset dbound vars))]
[((ValuesDots: ss s-dty dbound) (Values: ts))
(unless (>= (length ts) (length ss))
(fail! ss ts))
@ -365,8 +365,8 @@
(gensym dbound))]
[new-tys (for/list ([var vars])
(substitute (make-F var) dbound s-dty))]
[new-cset (cgen/list V X (append ss new-tys) ts)])
(move-vars-to-dmap new-cset vars dbound))]
[new-cset (cgen/list V (append vars X) (append ss new-tys) ts)])
(move-vars-to-dmap new-cset dbound vars))]
[((ValuesDots: ss s-dty dbound) (ValuesDots: ts t-dty dbound))
(unless (= (length ss) (length ts))
(fail! ss ts))
@ -483,4 +483,4 @@
(define (i s t r)
(infer/simple (list s) (list t) r))
;(trace cgen/arr)
;(trace cgen/arr cgen)

11
collects/typed-scheme/values-dots-test.ss
View File

@ -1,11 +0,0 @@
#lang typed-scheme
(require "private/extra-procs.ss")
(call-with-values (lambda () (values 1 2)) (lambda: ([x : Number] [y : Number]) (+ x y)))
(#{call-with-values* @ Integer Integer Integer} (lambda () (values 1 2)) (lambda: ([x : Integer] [y : Integer]) (+ x y)))
(call-with-values* (lambda () (values 1 2)) (lambda: ([x : Integer] [y : Integer]) (+ x y)))