diff options
author | Martin Odersky <odersky@gmail.com> | 2006-03-09 17:50:10 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-03-09 17:50:10 +0000 |
commit | 0bef86d8e8b7ea7ebb790ebcec7fedcb9a24f5a8 (patch) | |
tree | a85a3276240467ad4994ae8f78174371e2a30ad1 /src/library/scala/MatchError.scala | |
parent | c0c963afaf40b85914eff3497e116763268e6aa7 (diff) | |
download | scala-0bef86d8e8b7ea7ebb790ebcec7fedcb9a24f5a8.tar.gz scala-0bef86d8e8b7ea7ebb790ebcec7fedcb9a24f5a8.tar.bz2 scala-0bef86d8e8b7ea7ebb790ebcec7fedcb9a24f5a8.zip |
performed some renamings in the compiler & library
All -> Bottom
AllRef -> Null
mixin class -> trait
Diffstat (limited to 'src/library/scala/MatchError.scala')
-rw-r--r-- | src/library/scala/MatchError.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/library/scala/MatchError.scala b/src/library/scala/MatchError.scala index 8607334e41..37fe5a00e9 100644 --- a/src/library/scala/MatchError.scala +++ b/src/library/scala/MatchError.scala @@ -11,6 +11,7 @@ package scala; +import Predef._ /** This class implements errors which are thrown whenever an * object doesn't match any pattern of a pattern matching @@ -23,7 +24,7 @@ package scala; object MatchError { // todo: change pattern matcher so that dummy type parameter T can be removed. - def fail[T](source: String, line: Int): All = throw new MatchError(source, line); + def fail[T](source: String, line: Int): Bottom = throw new MatchError(source, line); def report(source: String, line: Int, obj: Any) = try { |