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

Use stx-list? instead of syntax->list.

Browse Source
This commit is contained in:
Eric Dobson 2013-05-25 13:25:42 -07:00
parent cea9472b31
commit 04a8fd5433
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/typecheck/tc-app-helper.rkt
View File

@ -2,6 +2,7 @@
(require "../utils/utils.rkt" (require "../utils/utils.rkt"
racket/match unstable/list unstable/sequence racket/set syntax/parse racket/match unstable/list unstable/sequence racket/set syntax/parse
syntax/stx
(only-in srfi/1 unzip4) (only-in racket/list make-list) (only-in srfi/1 unzip4) (only-in racket/list make-list)
(contract-req) (contract-req)
(typecheck check-below tc-subst) (typecheck check-below tc-subst)
@ -12,7 +13,7 @@
(provide/cond-contract (provide/cond-contract
[tc/funapp1 [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?) (#:check boolean?)
. ->* . tc-results/c)]) . ->* . tc-results/c)])
(define (tc/funapp1 f-stx args-stx ftype0 argtys expected #:check [check? #t]) (define (tc/funapp1 f-stx args-stx ftype0 argtys expected #:check [check? #t])

4
collects/typed-racket/typecheck/tc-funapp.rkt
View File

@ -1,7 +1,7 @@
#lang racket/base #lang racket/base
(require (rename-in "../utils/utils.rkt" [infer r:infer]) (require (rename-in "../utils/utils.rkt" [infer r:infer])
racket/match racket/match syntax/stx
(prefix-in c: (contract-req)) (prefix-in c: (contract-req))
(for-syntax syntax/parse racket/base) (for-syntax syntax/parse racket/base)
(types utils union subtype resolve abbrev substitute) (types utils union subtype resolve abbrev substitute)
@ -12,7 +12,7 @@
(provide/cond-contract (provide/cond-contract
[tc/funapp [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:or/c #f tc-results/c)
. c:-> . tc-results/c)]) . c:-> . tc-results/c)])