From 2bce00007501c816c152a23a892e03d4c683d285 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 11 Jun 2014 12:31:58 -0400 Subject: [PATCH] Fix test case for last commit. There ought to be a way to improve the type of `apply-pattern-substitute`, but we haven't found it yet. original commit: 1380cfea346dd8a56ee7c9110b6da4fbc2ed2f96 --- .../tests/typed-racket/succeed/with-syntax.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt index 2a4ccbc8..ecece286 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt @@ -1,7 +1,8 @@ #lang typed/racket (require racket/syntax) -(: f : -> Syntax) +(: f : -> (Syntaxof Any)) (define (f) (with-syntax* ([(x ...) (list 1 2 3)]) #`(#,(syntax +) x ...))) + \ No newline at end of file