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

Use syntax classes to parse ->* type constructors

Browse Source 
original commit: 6ec287f9f6abbfe7b42c7e00831a6aad4f5fbdc9
This commit is contained in:
Asumu Takikawa 2014-01-20 16:34:48 -05:00
parent 2badae67b0
commit 7f5638df9c
1 changed files with 33 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt
View File

@ -120,6 +120,31 @@
#:when (and (not (keyword? (syntax->datum #'t)))
(not (syntax->list #'t)))))
;; syntax classes for parsing ->* function types
(define-syntax-class ->*-mand
#:description "mandatory arguments for ->*"
#:attributes (doms kws)
(pattern (dom:non-keyword-ty ... kw:plain-kw-tys ...)
#:attr doms (syntax->list #'(dom ...))
#:attr kws (attribute kw.mand-kw)))
(define-splicing-syntax-class ->*-opt
#:description "optional arguments for ->*"
#:attributes (doms kws)
(pattern (~optional (dom:non-keyword-ty ... kw:plain-kw-tys ...))
#:attr doms (if (attribute dom)
(syntax->list #'(dom ...))
null)
#:attr kws (if (attribute kw)
(attribute kw.opt-kw)
null)))
(define-splicing-syntax-class ->*-rest
#:description "rest argument type for ->*"
#:attributes (type)
(pattern (~optional (~seq #:rest type:non-keyword-ty))))
;; syntax classes for filters, objects, and related things
(define-syntax-class path-elem
#:description "path element"
(pattern :car^
@ -379,24 +404,16 @@
doms
(parse-values-type #'rng)
#:kws (attribute kws.Keyword)))))]
[(:->*^
(dom:non-keyword-ty ... mand-kws:plain-kw-tys ...)
(~optional (opt-dom:non-keyword-ty ... opt-kws:plain-kw-tys ...))
(~optional (~seq #:rest rest-type:non-keyword-ty))
rng)
(define doms (for/list ([d (in-syntax #'(dom ...))])
[(:->*^ mand:->*-mand opt:->*-opt rest:->*-rest rng)
(define doms (for/list ([d (attribute mand.doms)])
(parse-type d)))
(define opt-doms (if (attribute opt-dom)
(for/list ([d (in-syntax #'(opt-dom ...))])
(parse-type d))
null))
(define opt-doms (for/list ([d (attribute opt.doms)])
(parse-type d)))
(opt-fn doms opt-doms (parse-values-type #'rng)
#:rest (and (attribute rest-type)
(parse-type #'rest-type))
#:kws (append (attribute mand-kws.mand-kw)
(if (attribute opt-kws)
(attribute opt-kws.opt-kw)
null)))]
#:rest (and (attribute rest.type)
(parse-type (attribute rest.type)))
#:kws (append (attribute mand.kws)
(attribute opt.kws)))]
[id:identifier
(cond
;; if it's a type variable, we just produce the corresponding reference (which is in the HT)