diff options
author | Martin Odersky <odersky@gmail.com> | 2004-01-20 13:33:26 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2004-01-20 13:33:26 +0000 |
commit | bbadab7e722fd89987f6df1bce6eb3ba9fa93ad0 (patch) | |
tree | affc8fbbffc374eb7911c7d923a935cad0a00b38 /doc/reference/ReferencePart.tex | |
parent | 8109d288cd8d89cf0d8e4dede4b7e07c086db68f (diff) | |
download | scala-bbadab7e722fd89987f6df1bce6eb3ba9fa93ad0.tar.gz scala-bbadab7e722fd89987f6df1bce6eb3ba9fa93ad0.tar.bz2 scala-bbadab7e722fd89987f6df1bce6eb3ba9fa93ad0.zip |
*** empty log message ***
Diffstat (limited to 'doc/reference/ReferencePart.tex')
-rw-r--r-- | doc/reference/ReferencePart.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reference/ReferencePart.tex b/doc/reference/ReferencePart.tex index c7b339940b..5ad42480d7 100644 --- a/doc/reference/ReferencePart.tex +++ b/doc/reference/ReferencePart.tex @@ -3385,7 +3385,7 @@ of $==$) to it. It's type must conform to the expected type of the pattern. A {\em named pattern constant} $r$ is a stable identifier -(\sref{sec:stableids}). To resolve the syntactic overlap with a +(\sref{sec:stable-ids}). To resolve the syntactic overlap with a variable pattern, a named pattern constant may not be a simple name starting with a lower-case letter. The type of $r$ must conform to the expected type of the pattern. The pattern matches any value $v$ |