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

Fix creation of a reversed List type from ListDots substitution.

Browse Source
This commit is contained in:
Stevie Strickland 2010-08-12 17:38:18 -04:00
parent debd6026f3
commit a9f6ea69bf
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -640,6 +640,9 @@
(apply (plambda: (b ...) ([x : Number] . [y : Number ... b]) x) (apply (plambda: (b ...) ([x : Number] . [y : Number ... b]) x)
1 w)) 1 w))
(-polydots (a) ((list -String) (N a) . ->... . N))] (-polydots (a) ((list -String) (N a) . ->... . N))]
[tc-e/t (let ([f (plambda: (a ...) [w : a ... a] w)])
(f 1 "hello" #\c))
(-pair -PositiveFixnum (-pair -String (-pair -Char (-val null))))]
;; instantiating non-dotted terms ;; instantiating non-dotted terms
[tc-e/t (inst (plambda: (a) ([x : a]) x) Integer) [tc-e/t (inst (plambda: (a) ([x : a]) x) Integer)
(make-Function (list (make-arr* (list -Integer) -Integer (make-Function (list (make-arr* (list -Integer) -Integer

2
collects/typed-scheme/types/substitute.rkt
View File

@ -71,7 +71,7 @@
;; We need to recur first, just to expand out any dotted usages of this. ;; We need to recur first, just to expand out any dotted usages of this.
(let ([expanded (sb dty)]) (let ([expanded (sb dty)])
(for/fold ([t (make-Value null)]) (for/fold ([t (make-Value null)])
([img images]) ([img (reverse images)])
(make-Pair (substitute img name expanded) t))) (make-Pair (substitute img name expanded) t)))
(make-ListDots (sb dty) dbound))] (make-ListDots (sb dty) dbound))]
[#:ValuesDots types dty dbound [#:ValuesDots types dty dbound