diff options
| author | mihaylov <mihaylov@epfl.ch> | 2004-09-10 18:19:48 +0000 |
|---|---|---|
| committer | mihaylov <mihaylov@epfl.ch> | 2004-09-10 18:19:48 +0000 |
| commit | af375eabc6c38ab29c931d1de6aba237b1ab746c (patch) | |
| tree | b5b91d5347d75ab5554333e9ea818ff2cb769931 /sources | |
| parent | 71da85dba605df234e9159dfeb41d01ce0f64681 (diff) | |
| download | scala-af375eabc6c38ab29c931d1de6aba237b1ab746c.tar.gz scala-af375eabc6c38ab29c931d1de6aba237b1ab746c.tar.bz2 scala-af375eabc6c38ab29c931d1de6aba237b1ab746c.zip | |
- Replaced a regular pattern match with a regul...
- Replaced a regular pattern match with a regular pattern match (no
kidding!)
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scala/runtime/matching/Address.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/runtime/matching/Address.scala b/sources/scala/runtime/matching/Address.scala index 2691d27801..4f9299cc57 100644 --- a/sources/scala/runtime/matching/Address.scala +++ b/sources/scala/runtime/matching/Address.scala @@ -19,7 +19,7 @@ class Address( l:Int* ) with Ordered[Address] { /** precond: p is nonempty */ def right: Address = list.match { - case List( i, rest@_* ) => new Address( ((i+1) :: rest ):_* ) + case i :: rest => new Address( ((i+1) :: rest ):_* ) } override def toString() = list.mkString("Address(",".",")"); |