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

Handle simple inference of ListDots.

Browse Source 
original commit: 71939d282694485805316a02563083a6882a4fa8
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-27 17:01:36 -04:00
parent fd9b246931
commit dfe4211df8
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-scheme/infer/infer-unit.rkt
View File

@ -409,7 +409,10 @@
(move-vars-to-dmap new-cset dbound vars))]
[((ValuesDots: ss s-dty dbound) (ValuesDots: ts t-dty dbound))
(when (memq dbound X) (fail! ss ts))
(cgen/list V X (cons s-dty ss) (cons t-dty ts))]
(cgen/list V X (cons s-dty ss) (cons t-dty ts))]
[((ListDots: s-dty dbound) (ListDots: t-dty dbound))
(when (memq dbound X) (fail! S T))
(cgen V X s-dty t-dty)]
[((Vector: e) (Vector: e*))
(cset-meet (cg e e*) (cg e* e))]
[((Box: e) (Box: e*))