From 0fa0d624cf3f8f7b2ad15c2105984e132a8f849c Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 30 Apr 2014 09:27:26 -0700 Subject: [PATCH] Replace 'apply -lst*' with -Tuple* original commit: 9d1201a5e26e6d22816a607811737b8c0b5f822f --- .../typed-racket/typecheck/tc-apply.rkt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt index 448e712d..8d866da5 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt @@ -49,8 +49,8 @@ [rest ;; check that the tail expression is a subtype of the rest argument (and - (subtype (apply -lst* arg-tys #:tail tail-ty) - (apply -lst* domain #:tail (make-Listof rest))) + (subtype (-Tuple* arg-tys tail-ty) + (-Tuple* domain (make-Listof rest))) (do-ret range))] ;; the function expects a dotted rest arg, so make sure we have a ListDots [drest @@ -66,8 +66,8 @@ ;; the function has no rest argument, but provides all the necessary fixed arguments [(and (not rest) (not drest)) (and - (subtype (apply -lst* arg-tys #:tail tail-ty) - (apply -lst* domain)) + (subtype (-Tuple* arg-tys tail-ty) + (-Tuple domain)) (do-ret range))])) (domain-mismatches f args t doms rests drests rngs arg-tres tail-ty #f #:msg-thunk (lambda (dom) @@ -104,8 +104,8 @@ ;; the function has no rest argument, but provides all the necessary fixed arguments [(and (not rest) (not drest) (not tail-bound) (infer vars null - (list (apply -lst* arg-tys #:tail full-tail-ty)) - (list (apply -lst* domain)) + (list (-Tuple* arg-tys full-tail-ty)) + (list (-Tuple domain)) range)) => finish] ;; actual work, when we have a * function and ... final arg