PR 10647

svn: r17235 original commit: 70f085713dd47992f73e44cf088d71837bc818f0
2009-12-07 13:55:36 +00:00 · 2009-12-07 13:55:36 +00:00 · 4534ac0d19
commit 4534ac0d19
parent 9fd6b5d194
2 changed files with 2 additions and 1 deletions
--- 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)]
   
--- 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