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

PR 10647

Browse Source 
svn: r17235
This commit is contained in:
Sam Tobin-Hochstadt 2009-12-07 13:55:36 +00:00
parent 4b68ad9e60
commit 70f085713d
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/tests/typed-scheme/unit-tests/parse-type-tests.ss
View File

@ -96,6 +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))]
[(Listof Number) (make-Listof N)] [(Listof Number) (make-Listof N)]

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

@ -215,7 +215,7 @@
(apply Un (map parse-type (syntax->list #'(ts ...))))] (apply Un (map parse-type (syntax->list #'(ts ...))))]
[((~and kw quote) t) [((~and kw quote) t)
(add-type-name-reference #'kw) (add-type-name-reference #'kw)
(-val (syntax-e #'t))] (-val (syntax->datum #'t))]
#; #;
[(All-kw . rest) [(All-kw . rest)
#:fail-unless (eq? 'All (syntax-e #'All-kw)) #f #:fail-unless (eq? 'All (syntax-e #'All-kw)) #f