From 4bfd6ff6e355d0c4c3f5bbc2aa9167431d4a74c5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 17 Mar 2013 08:47:13 -0500 Subject: [PATCH] document define-metafunction's contract patterns properly closes PR 13613 --- collects/redex/scribblings/ref.scrbl | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/redex/scribblings/ref.scrbl b/collects/redex/scribblings/ref.scrbl index e47b9cdf4d..5f789d03c8 100644 --- a/collects/redex/scribblings/ref.scrbl +++ b/collects/redex/scribblings/ref.scrbl @@ -32,6 +32,12 @@ #'((tech (racketvarfont "pattern")) args ...)] [x (identifier? #'x) #'(tech (racketvarfont "pattern"))])) +@(define-syntax (ttpattern-sequence stx) + (syntax-case stx () + [(_ args ...) + #'((tech #:key "pattern" (racketvarfont "pattern-sequence")) args ...)] + [x (identifier? #'x) #'(tech #:key "pattern" (racketvarfont "pattern-sequence"))])) + @(define-syntax (pattern stx) (syntax-case stx () [(_ args ...) @@ -1082,7 +1088,7 @@ reduce it further). [(name @#,ttpattern ...) @#,tttterm metafunction-extras ...] ...) ([metafunction-contract (code:line) - (code:line id : @#,ttpattern ... -> range)] + (code:line id : @#,ttpattern-sequence ... -> range)] [range @#,ttpattern (code:line @#,ttpattern or range) (code:line @#,ttpattern ∨ range)