diff options
author | Martin Odersky <odersky@gmail.com> | 2008-09-05 17:36:34 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-09-05 17:36:34 +0000 |
commit | 16acc7aa51cf45bc2b444fb7f0f3515e033dc035 (patch) | |
tree | 4a4701333b29669f5872817c3a56ef804b78cdaf | |
parent | 03c12787c6d4538d7422d2cc2efc35c097bebbc1 (diff) | |
download | scala-16acc7aa51cf45bc2b444fb7f0f3515e033dc035.tar.gz scala-16acc7aa51cf45bc2b444fb7f0f3515e033dc035.tar.bz2 scala-16acc7aa51cf45bc2b444fb7f0f3515e033dc035.zip |
fix to 16043
-rw-r--r-- | src/library/scala/Predef.scala | 2 | ||||
-rw-r--r-- | src/library/scala/_$Stable.scala | 13 |
2 files changed, 14 insertions, 1 deletions
diff --git a/src/library/scala/Predef.scala b/src/library/scala/Predef.scala index 437be17a5d..d40369e740 100644 --- a/src/library/scala/Predef.scala +++ b/src/library/scala/Predef.scala @@ -114,7 +114,7 @@ object Predef { // tupling ------------------------------------------------------------ - def uncheckedStable[A](x: A): A with $Stable$ = x.asInstanceOf[A with $Stable$] + def uncheckedStable[A](x: A): A with _$Stable = x.asInstanceOf[A with $Stable$] type Pair[+A, +B] = Tuple2[A, B] object Pair { diff --git a/src/library/scala/_$Stable.scala b/src/library/scala/_$Stable.scala new file mode 100644 index 0000000000..d98cbaec7b --- /dev/null +++ b/src/library/scala/_$Stable.scala @@ -0,0 +1,13 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +\* */ +package scala + +/** A marker thread for types that are assumed to be stable + * todo: internalize in Definitions + */ +trait _$Stable {} |