document define-metafunction's contract patterns properly
closes PR 13613
This commit is contained in:
parent
0dd7d8f60b
commit
4bfd6ff6e3
|
@ -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)
|
||||
|
|
Loading…
Reference in New Issue
Block a user