From 4534ac0d19e0a3af22a8dfa745feaa346dd5fcfa Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Dec 2009 13:55:36 +0000 Subject: [PATCH] PR 10647 svn: r17235 original commit: 70f085713dd47992f73e44cf088d71837bc818f0 --- collects/tests/typed-scheme/unit-tests/parse-type-tests.ss | 1 + collects/typed-scheme/private/parse-type.ss | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss b/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss index f88298c9..e503bb15 100644 --- a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss @@ -96,6 +96,7 @@ [#t (-val #t)] [#f (-val #f)] ["foo" (-val "foo")] + ['(1 2 3) (-val '(1 2 3))] [(Listof Number) (make-Listof N)] diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.ss index 09859676..a136d998 100644 --- a/collects/typed-scheme/private/parse-type.ss +++ b/collects/typed-scheme/private/parse-type.ss @@ -215,7 +215,7 @@ (apply Un (map parse-type (syntax->list #'(ts ...))))] [((~and kw quote) t) (add-type-name-reference #'kw) - (-val (syntax-e #'t))] + (-val (syntax->datum #'t))] #; [(All-kw . rest) #:fail-unless (eq? 'All (syntax-e #'All-kw)) #f