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

allow optional specifcation of var pattern

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-21 17:37:47 -04:00
parent 034b22d014
commit b8777d20b2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/types/abbrev.rkt
View File

@ -58,8 +58,8 @@
(define-match-expander Listof: (define-match-expander Listof:
(lambda (stx) (lambda (stx)
(syntax-parse stx (syntax-parse stx
[(_ elem-pat) [(_ elem-pat (~optional var-pat #:defaults ([var-pat #'var])))
#'(Mu: var (Union: (list (Value: '()) (Pair: elem-pat (F: var)))))]))) (syntax/loc stx (Mu: var-pat (Union: (list (Value: '()) (Pair: elem-pat (F: var-pat))))))])))
(define-match-expander List: (define-match-expander List:
(lambda (stx) (lambda (stx)