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

match: specify failure, and add byte strings as patterns

Browse Source 
svn: r8540
This commit is contained in:
Matthew Flatt 2008-02-05 16:59:54 +00:00
parent 52355ec9e6
commit 8efa991f4f
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/scribblings/reference/match-grammar.ss
View File

@ -38,6 +38,7 @@ literal ::= () @match the empty list
| #t @match true
| #f @match false
| string @match equal% string
| bytes @match equal% byte string
| number @match equal% number
| char @match equal% character
lvp ::= (code:line pat ooo) @greedily match pat instances
@ -113,7 +114,7 @@ ooo ::= *** @zero or more; *** is literal
[(symbol? s)
(case s
[(lvp pat qp literal ooo datum struct-id
string number character expr id
string bytes number character expr id
rx-expr px-expr pred-expr
derived-pattern)
(match-nonterm (symbol->string s))]

3
collects/scribblings/reference/match.scrbl
View File

@ -24,6 +24,9 @@ bindings introduced by @scheme[pat] (if any). The last @scheme[expr]
in the matching clause is evaluated in tail position with respect to
the @scheme[match] expression.
The @scheme[clause]s are tried in order to find a match. If no
@scheme[clause] matches, then the @exnraise[exn:fail].
An optional @scheme[(=> identifier)] between a @scheme[pat] and the
@scheme[expr]s is bound to a @defterm{failure procedure} of zero
arguments. If this procedure is invoked, it escapes back to the