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

racket extended: name ldots in pattern

Browse Source
This commit is contained in:
Stephen Chang 2014-09-16 18:56:36 -04:00
parent 98169cd383
commit d29aed64b8
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
racket-extended-for-implementing-typed-langs.rkt
View File

@ -175,12 +175,12 @@
#`(#:when (Γ (type-env-extend #'([f τ] ... #,@(template ((?? ldots))))))))
(pattern (~seq (let τ := (typeof e)) (~literal ...))
#:attr pattern-directive #'(#:with (τ (... ...)) (stx-map typeof #'(e (... ...)))))
(pattern (~seq (e0 : τ0) (~literal ...))
(pattern (~seq (e0 : τ0) (~and ldots (~literal ...)))
#:when (concrete-τ? #'τ0)
#:attr pattern-directive #'(#:when (stx-andmap (λ (e) (assert-type e #'τ0)) #'(e0 (... ...)))))
#:attr pattern-directive #'(#:when (stx-andmap (λ (e) (assert-type e #'τ0)) #'(e0 ldots))))
;; not concrete-τ
(pattern (~seq (e0 : τ0) (~literal ...))
#:attr pattern-directive #'(#:when (stx-andmap assert-type #'(e0 (... ...)) #'(τ0 (... ...)))))))
(pattern (~seq (e0 : τ0) (~and ldots (~literal ...)))
#:attr pattern-directive #'(#:when (stx-andmap assert-type #'(e0 ldots) #'(τ0 ldots))))))
;; define-typed-syntax