diff options
Diffstat (limited to 'src/library/scala/Predef.scala')
-rw-r--r-- | src/library/scala/Predef.scala | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/library/scala/Predef.scala b/src/library/scala/Predef.scala index 37acc7a764..1d082d1db3 100644 --- a/src/library/scala/Predef.scala +++ b/src/library/scala/Predef.scala @@ -20,6 +20,9 @@ object Predef { // aliases ------------------------------------------------------- + type Bottom = All + type Null = AllRef + type byte = scala.Byte; type short = scala.Short; type char = scala.Char; @@ -149,11 +152,11 @@ object Predef { // errors and asserts ------------------------------------------------- - def error(message: String): All = throw new Error(message); + def error(message: String): Bottom = throw new Error(message); - def exit: All = exit(0); + def exit: Bottom = exit(0); - def exit(status: Int): All = { + def exit(status: Int): Bottom = { java.lang.System.exit(status); throw new Throwable() } |