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

Substitute into the dotted type of tc-results.

Browse Source 
original commit: 911b3ee8ee0fc99a070d0be5d1af0a79b21f4b64
This commit is contained in:
Eric Dobson 2014-05-29 19:30:54 -07:00
parent f1bf4a07fd
commit cbec4bd4e5
2 changed files with 18 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt
View File

@ -18,7 +18,7 @@
(define (open-Values v os ts)
(match v
[(AnyValues: f)
(tc-any-results (open-Filter f os ts))]
(tc-any-results (open-Filter f os))]
[(Values: results)
(define-values (t-r f-r o-r)
(for/lists (t-r f-r o-r)
@ -30,14 +30,21 @@
(for/lists (t-r f-r o-r)
([r (in-list results)])
(open-Result r os ts)))
(ret t-r f-r o-r dty dbound)]))
(ret t-r f-r o-r (open-Type dty os) dbound)]))
(define/cond-contract (open-Filter f objs ts)
(define/cond-contract (open-Type t objs)
(-> (Type/c (listof Object?) (listof Type/c) Filter/c))
(for/fold ([t t])
([(o arg) (in-indexed (in-list objs))])
(define key (list 0 arg))
(subst-type t key o #t)))
(define/cond-contract (open-Filter f objs)
(-> (Filter/c (listof Object?) (listof Type/c) Filter/c))
(for/fold ([f f])
([(o arg) (in-indexed (in-list objs))]
[arg-ty (in-list ts)])
([(o arg) (in-indexed (in-list objs))])
(define key (list 0 arg))
(subst-filter f key o #t)))

6
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/metafunction-tests.rkt
View File

@ -139,5 +139,11 @@
(tc-any-results (-filter -String #'x)))
(check-equal?
(open-Values (-values-dots null (-> Univ -Boolean : (-FS (-filter -String '(1 0)) -top)) 'b)
(list (make-Path null #'x)) (list Univ))
(ret null null null (-> Univ -Boolean : (-FS (-filter -String #'x) -top)) 'b))
)
))