From 0b6ce3b58bf474f2b5122e6d35382d4f55d9211a Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 11 Nov 2013 09:36:43 -0800 Subject: [PATCH] Fix tc/pass2. Closes PR14148. original commit: d6935f536516196e78a9301a2b33b02204feb9be --- .../typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt | 2 ++ .../tests/typed-racket/fail/define-zero-values.rkt | 3 +++ 2 files changed, 5 insertions(+) create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/define-zero-values.rkt diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt index db884bfb..7571a9a9 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt @@ -236,6 +236,8 @@ (void)] ;; definitions just need to typecheck their bodies + [(define-values () expr) + (tc-expr/check #'expr (ret empty))] [(define-values (var ...) expr) (unless (for/and ([v (in-syntax #'(var ...))]) (free-id-table-ref unann-defs v (lambda _ #f))) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/define-zero-values.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/define-zero-values.rkt new file mode 100644 index 00000000..8fd0b06f --- /dev/null +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/define-zero-values.rkt @@ -0,0 +1,3 @@ +#lang typed/racket + +(define-values () (+ 1 "x"))