diff options
| author | Martin Odersky <odersky@gmail.com> | 2006-03-10 16:09:08 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2006-03-10 16:09:08 +0000 |
| commit | f857dea44a03bae7f147fc8be49f2555e3cc9eb7 (patch) | |
| tree | 0dc3c530f79035fc635f8562f5037a460194ec68 /src/library/scala/MatchError.scala | |
| parent | b9863c050b9173662e0f6abf91fcef6aaa778f96 (diff) | |
| download | scala-f857dea44a03bae7f147fc8be49f2555e3cc9eb7.tar.gz scala-f857dea44a03bae7f147fc8be49f2555e3cc9eb7.tar.bz2 scala-f857dea44a03bae7f147fc8be49f2555e3cc9eb7.zip | |
Diffstat (limited to 'src/library/scala/MatchError.scala')
| -rw-r--r-- | src/library/scala/MatchError.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library/scala/MatchError.scala b/src/library/scala/MatchError.scala index 37fe5a00e9..6f2c3ea95e 100644 --- a/src/library/scala/MatchError.scala +++ b/src/library/scala/MatchError.scala @@ -24,7 +24,7 @@ import Predef._ object MatchError { // todo: change pattern matcher so that dummy type parameter T can be removed. - def fail[T](source: String, line: Int): Bottom = throw new MatchError(source, line); + def fail[T](source: String, line: Int): Nothing = throw new MatchError(source, line); def report(source: String, line: Int, obj: Any) = try { |