From b7df781999305482ca8e4afaa7718a4af20adf9d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 28 Oct 2008 22:40:19 +0000 Subject: [PATCH] More specific type for quote-syntax (this hides an infinite loop) svn: r12162 --- collects/typed-scheme/typecheck/tc-expr-unit.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.ss b/collects/typed-scheme/typecheck/tc-expr-unit.ss index 7ec8285c9e..ca2f20171f 100644 --- a/collects/typed-scheme/typecheck/tc-expr-unit.ss +++ b/collects/typed-scheme/typecheck/tc-expr-unit.ss @@ -155,7 +155,7 @@ [(quote #t) (ret (-val #t) (list (make-True-Effect)) (list (make-True-Effect)))] [(quote val) (ret (tc-literal #'val))] ;; syntax - [(quote-syntax datum) (ret Any-Syntax)] + [(quote-syntax datum) (ret (-Syntax (tc-literal #'datum)))] ;; mutation! [(set! id val) (match-let* ([(tc-result: id-t) (tc-expr #'id)] @@ -241,7 +241,7 @@ [(quote val) (ret (tc-literal #'val))] ;; syntax - [(quote-syntax datum) (ret Any-Syntax)] + [(quote-syntax datum) (ret (-Syntax (tc-literal #'datum)))] ;; w-c-m [(with-continuation-mark e1 e2 e3) (begin (tc-expr/check #'e1 Univ)