From 2170e9f6d6b81f9aaf4ea22c2cfbddbba8bf417f Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 11 Jun 2014 20:00:26 -0700 Subject: [PATCH] Fix type of stx->list. original commit: dad3c3008d76e168e470a4dace9cfa5d8f579f9e --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 75b09d55..e1e81377 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2772,7 +2772,7 @@ ;; Syntax Manual ;; Section 2.1 (syntax/stx) ;; Needed for `with-syntax' -[stx->list (-> (-Syntax Univ) (-lst (-Syntax Univ)))] +[stx->list (-> (-Syntax Univ) (Un (-lst (-Syntax Univ)) (-val #f)))] [stx-list? (-> (-Syntax Univ) -Boolean)] ;; Keyword functions moved back to here: 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 18bb4227..90ebb971 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 @@ -283,6 +283,7 @@ racket/tcp racket/udp racket/vector + syntax/stx (except-in typed-racket/utils/utils private) ;; Needed for bindings of types and TR primitives in expressions @@ -3022,6 +3023,8 @@ #:ret (ret (list (t:Un -String -Void) (t:Un -Symbol -Void)))] [tc-e (syntax->datum #`(#,(lambda (x) x))) #:ret (ret Univ)] + [tc-e (stx->list #'(a . b)) + #:ret (ret (t:Un (-lst (-Syntax Univ)) (-val #f)))] ) (test-suite