suzanne.soy/typed-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

original commit: be77cee733f3dbe42bb9581710bbe8d94bfdd906
This commit is contained in:
Sam Tobin-Hochstadt 2009-12-07 15:50:51 +00:00
parent c29e86edca
commit e0d1c27a9e
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)]
[#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)]

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

@ -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))]