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

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

Browse Source 
original commit: 04a8fd5433b6634b75b2f1b5d8f629ad3c246c84
This commit is contained in:
Eric Dobson 2013-05-25 13:25:42 -07:00
parent c88ec2b5ec
commit 4183847f5a
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"
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])

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

@ -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)])