From e0d1c27a9e7e45cb528eb93a57ef56ccce545305 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Dec 2009 15:50:51 +0000 Subject: [PATCH] Fix parsing of quoted lists in types to produce list types. svn: r17237 original commit: be77cee733f3dbe42bb9581710bbe8d94bfdd906 --- collects/tests/typed-scheme/unit-tests/parse-type-tests.ss | 2 +- collects/typed-scheme/private/parse-type.ss | 3 +++ 2 files changed, 4 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 e503bb15..82f6f91f 100644 --- a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss @@ -96,7 +96,7 @@ [#t (-val #t)] [#f (-val #f)] ["foo" (-val "foo")] - ['(1 2 3) (-val '(1 2 3))] + ['(1 2 3) (-Tuple (map -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 a136d998..ffc9a56c 100644 --- a/collects/typed-scheme/private/parse-type.ss +++ b/collects/typed-scheme/private/parse-type.ss @@ -213,6 +213,9 @@ [((~and kw t:U) ts ...) (add-type-name-reference #'kw) (apply Un (map parse-type (syntax->list #'(ts ...))))] + [((~and kw quote) (t1 . t2)) + (add-type-name-reference #'kw) + (-pair (parse-type #'(quote t1)) (parse-type #'(quote t2)))] [((~and kw quote) t) (add-type-name-reference #'kw) (-val (syntax->datum #'t))]