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

Parse (A -> B : C) correctly, B can't be a `values'

Browse Source 
svn: r14858
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-18 22:18:19 +00:00
parent ef095c931a
commit e269f7aa7c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -356,7 +356,8 @@
(eq? (syntax-e #':) ':)) (eq? (syntax-e #':) ':))
(begin (begin
(add-type-name-reference (stx-cadr stx)) (add-type-name-reference (stx-cadr stx))
(make-pred-ty (list (parse-type #'dom)) (parse-values-type #'rng) (parse-type #'pred-ty)))] ;; use parse-type instead of parse-values-type because we need to add the filters from the pred-ty
(make-pred-ty (list (parse-type #'dom)) (parse-type #'rng) (parse-type #'pred-ty)))]
[(dom ... rest ::: -> rng) [(dom ... rest ::: -> rng)
(and (eq? (syntax-e #'->) '->) (and (eq? (syntax-e #'->) '->)
(eq? (syntax-e #':::) '*)) (eq? (syntax-e #':::) '*))