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

Fix test case for last commit.

Browse Source 
There ought to be a way to improve the type of `apply-pattern-substitute`,
but we haven't found it yet.
This commit is contained in:
Sam Tobin-Hochstadt 2014-06-11 12:31:58 -04:00
parent 3273944af5
commit 1380cfea34
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt
View File

@ -1,7 +1,8 @@
#lang typed/racket #lang typed/racket
(require racket/syntax) (require racket/syntax)
(: f : -> Syntax) (: f : -> (Syntaxof Any))
(define (f) (define (f)
(with-syntax* ([(x ...) (list 1 2 3)]) (with-syntax* ([(x ...) (list 1 2 3)])
#`(#,(syntax +) x ...))) #`(#,(syntax +) x ...)))