diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2011-09-27 13:46:35 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2011-09-27 13:46:35 +0200 |
| commit | 7a1e193710ff3efa63ddd665a627c682ccec5ce6 (patch) | |
| tree | 4e11c6f2a375a74c9d2004819552b930b5769d04 /doc/ref/match.texi | |
| parent | 7af1ba2f6c4d4bcd4fbf0214384551f9b8208d4a (diff) | |
doc: Update (ice-9 match) reference.
* doc/ref/match.texi (Pattern Matching): Document `***', `..1', and
`__1'; remove `..k' and `__k'. Reported by Chris K. Jester-Young.
Diffstat (limited to 'doc/ref/match.texi')
| -rw-r--r-- | doc/ref/match.texi | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/ref/match.texi b/doc/ref/match.texi index b6acf1499..05e6642ff 100644 --- a/doc/ref/match.texi +++ b/doc/ref/match.texi @@ -122,11 +122,14 @@ pat ::= identifier anything, and binds identifier | (set! identifier) anything, and binds setter | (get! identifier) anything, and binds getter | `qp a quasi-pattern + | (identifier *** pat) matches pat in a tree and binds + identifier to the path leading + to the object that matches pat ooo ::= ... zero or more | ___ zero or more - | ..k k or more - | __k k or more + | ..1 1 or more + | __1 1 or more quasi-patterns: matches: |