From 7692d067412f325c382033f8584a3eb986ed7a0e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 24 May 2010 13:26:29 -0700 Subject: [PATCH] Fix parsing of All on RHS of -> original commit: f320d36e9c7fc2698d1becff28511dd8413430da --- collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt | 2 ++ collects/typed-scheme/private/parse-type.rkt | 2 -- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt b/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt index 7de981d3..b365336b 100644 --- a/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt @@ -106,6 +106,8 @@ (-polydots (a) ((list) [a a] . ->... . N))] [(Any -> Boolean : Number) (make-pred-ty -Number)] + [(Integer -> (All (X) (X -> X))) + (t:-> -Integer (-poly (x) (t:-> x x)))] )) diff --git a/collects/typed-scheme/private/parse-type.rkt b/collects/typed-scheme/private/parse-type.rkt index 77287839..3477ec06 100644 --- a/collects/typed-scheme/private/parse-type.rkt +++ b/collects/typed-scheme/private/parse-type.rkt @@ -365,8 +365,6 @@ [((~and kw values) tys ...) (add-type-name-reference #'kw) (-values (map parse-type (syntax->list #'(tys ...))))] - [(t:All . rest) - (parse-all-type stx parse-values-type)] [t (-values (list (parse-type #'t)))])))