From 81614d110c2fe991117e234de158e5db49d20754 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 11 Jun 2014 12:20:48 -0400 Subject: [PATCH] Fix bug in type of `apply-pattern-substitute`. Found by @takikawa. original commit: 3273944af50689025bd5b19a3305bf5209d8e8cb --- .../typed-racket/base-env/base-special-env.rkt | 2 +- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt index 4023d1a0..f049e295 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt @@ -173,7 +173,7 @@ (-> Univ Univ Univ)] ;; from the expansion of `with-syntax' [(make-template-identifier 'apply-pattern-substitute 'racket/private/stxcase) - (->* (list (-Syntax Univ) Univ) Univ Any-Syntax)] + (->* (list (-Syntax Univ) Univ) Univ (-Syntax Univ))] ;; same [(make-template-identifier 'with-syntax-fail 'racket/private/with-stx) (-> (-Syntax Univ) (Un))] diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index 1421f662..18bb4227 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -3020,7 +3020,8 @@ (define (f) (values "foo" 'bar)) (f)) #:ret (ret (list (t:Un -String -Void) (t:Un -Symbol -Void)))] - + [tc-e (syntax->datum #`(#,(lambda (x) x))) + #:ret (ret Univ)] ) (test-suite