diff options
| author | michelou <michelou@epfl.ch> | 2004-07-07 10:49:19 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2004-07-07 10:49:19 +0000 |
| commit | 5b86f497ec96b0b27033a5b4d6c76af02472f1e7 (patch) | |
| tree | 0bdcefeff328da0f334db1779e9d4c8c41173e40 /test | |
| parent | 97875c8e2fcb4a227111c6ae6130dc0aea246469 (diff) | |
| download | scala-5b86f497ec96b0b27033a5b4d6c76af02472f1e7.tar.gz scala-5b86f497ec96b0b27033a5b4d6c76af02472f1e7.tar.bz2 scala-5b86f497ec96b0b27033a5b4d6c76af02472f1e7.zip | |
- added 'override' modifier to Point2.compareTo.
Diffstat (limited to 'test')
| -rwxr-xr-x | test/files/pos/orderedpoints.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/pos/orderedpoints.scala b/test/files/pos/orderedpoints.scala index 145b0a8312..466ada1363 100755 --- a/test/files/pos/orderedpoints.scala +++ b/test/files/pos/orderedpoints.scala @@ -7,7 +7,7 @@ class Point1(x: int) extends Object with Ordered[Point1] { } class Point2(x: int, y: int) extends Point1(x) with Ordered[Point2] { val yCoord = y; - def compareTo [b >: Point2 <% Ordered[b]](that: b): int = that match { + override def compareTo [b >: Point2 <% Ordered[b]](that: b): int = that match { case that1: Point2 => val r = super.compareTo(that1); if (r == 0) this.yCoord.compareTo(that1.yCoord) else r |