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

Fix parsing of quoted lists in types to produce list types.

Browse Source 
svn: r17237
This commit is contained in:
Sam Tobin-Hochstadt 2009-12-07 15:50:51 +00:00
parent eae4c140fa
commit be77cee733
2 changed files with 4 additions and 1 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.ss
View File

@ -96,7 +96,7 @@
[#t (-val #t)] [#t (-val #t)]
[#f (-val #f)] [#f (-val #f)]
["foo" (-val "foo")] ["foo" (-val "foo")]
['(1 2 3) (-val '(1 2 3))] ['(1 2 3) (-Tuple (map -val '(1 2 3)))]
[(Listof Number) (make-Listof N)] [(Listof Number) (make-Listof N)]

3
collects/typed-scheme/private/parse-type.ss
View File

@ -213,6 +213,9 @@
[((~and kw t:U) ts ...) [((~and kw t:U) ts ...)
(add-type-name-reference #'kw) (add-type-name-reference #'kw)
(apply Un (map parse-type (syntax->list #'(ts ...))))] (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) [((~and kw quote) t)
(add-type-name-reference #'kw) (add-type-name-reference #'kw)
(-val (syntax->datum #'t))] (-val (syntax->datum #'t))]