From 4183847f5a91d00fb8eb0c40ccd0dd2315d7639e Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 25 May 2013 13:25:42 -0700 Subject: [PATCH] Use stx-list? instead of syntax->list. original commit: 04a8fd5433b6634b75b2f1b5d8f629ad3c246c84 --- collects/typed-racket/typecheck/tc-app-helper.rkt | 3 ++- collects/typed-racket/typecheck/tc-funapp.rkt | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/typed-racket/typecheck/tc-app-helper.rkt b/collects/typed-racket/typecheck/tc-app-helper.rkt index 59f226da..7de04b06 100644 --- a/collects/typed-racket/typecheck/tc-app-helper.rkt +++ b/collects/typed-racket/typecheck/tc-app-helper.rkt @@ -2,6 +2,7 @@ (require "../utils/utils.rkt" racket/match unstable/list unstable/sequence racket/set syntax/parse + syntax/stx (only-in srfi/1 unzip4) (only-in racket/list make-list) (contract-req) (typecheck check-below tc-subst) @@ -12,7 +13,7 @@ (provide/cond-contract [tc/funapp1 - ((syntax? (and/c syntax? syntax->list) arr? (listof tc-results/c) (or/c #f tc-results/c)) + ((syntax? stx-list? arr? (listof tc-results/c) (or/c #f tc-results/c)) (#:check boolean?) . ->* . tc-results/c)]) (define (tc/funapp1 f-stx args-stx ftype0 argtys expected #:check [check? #t]) diff --git a/collects/typed-racket/typecheck/tc-funapp.rkt b/collects/typed-racket/typecheck/tc-funapp.rkt index 8d8a19c7..4c344fa9 100644 --- a/collects/typed-racket/typecheck/tc-funapp.rkt +++ b/collects/typed-racket/typecheck/tc-funapp.rkt @@ -1,7 +1,7 @@ #lang racket/base (require (rename-in "../utils/utils.rkt" [infer r:infer]) - racket/match + racket/match syntax/stx (prefix-in c: (contract-req)) (for-syntax syntax/parse racket/base) (types utils union subtype resolve abbrev substitute) @@ -12,7 +12,7 @@ (provide/cond-contract [tc/funapp - (syntax? (c:and/c syntax? syntax->list) tc-results/c (c:listof tc-results/c) + (syntax? stx-list? tc-results/c (c:listof tc-results/c) (c:or/c #f tc-results/c) . c:-> . tc-results/c)])