suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix parsing of All on RHS of ->

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-24 13:26:29 -07:00
parent fac0e197cf
commit f320d36e9c
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt
View File

@ -106,6 +106,8 @@
(-polydots (a) ((list) [a a] . ->... . N))] (-polydots (a) ((list) [a a] . ->... . N))]
[(Any -> Boolean : Number) (make-pred-ty -Number)] [(Any -> Boolean : Number) (make-pred-ty -Number)]
[(Integer -> (All (X) (X -> X)))
(t:-> -Integer (-poly (x) (t:-> x x)))]
)) ))

2
collects/typed-scheme/private/parse-type.rkt
View File

@ -365,8 +365,6 @@
[((~and kw values) tys ...) [((~and kw values) tys ...)
(add-type-name-reference #'kw) (add-type-name-reference #'kw)
(-values (map parse-type (syntax->list #'(tys ...))))] (-values (map parse-type (syntax->list #'(tys ...))))]
[(t:All . rest)
(parse-all-type stx parse-values-type)]
[t [t
(-values (list (parse-type #'t)))]))) (-values (list (parse-type #'t)))])))