diff options
| author | Paul Phillips <paulp@improving.org> | 2010-12-04 19:33:47 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2010-12-04 19:33:47 +0000 |
| commit | 32ca2f2be6a027e2112bc1f8e10f99571caa4a8c (patch) | |
| tree | 6d0fe6cfac2815088cfe09fe9bb23089109fc337 /test/files/neg/tcpoly_variance_enforce.check | |
| parent | b1e969a11b2b24f5883198dc0b90d9ab5513498b (diff) | |
| download | scala-32ca2f2be6a027e2112bc1f8e10f99571caa4a8c.tar.gz scala-32ca2f2be6a027e2112bc1f8e10f99571caa4a8c.tar.bz2 scala-32ca2f2be6a027e2112bc1f8e10f99571caa4a8c.zip | |
Introducing scala.system, the product of a whir...
Introducing scala.system, the product of a whirlwind couple of
hours. More useful stuff than you can shake three sticks at. See the
scala.system package object. It's even documented.
And since it has methods error and exit, proceeded to deprecate the ones
in Predef. No review.
Diffstat (limited to 'test/files/neg/tcpoly_variance_enforce.check')
| -rw-r--r-- | test/files/neg/tcpoly_variance_enforce.check | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/neg/tcpoly_variance_enforce.check b/test/files/neg/tcpoly_variance_enforce.check index 508ed90fbb..48025889fc 100644 --- a/test/files/neg/tcpoly_variance_enforce.check +++ b/test/files/neg/tcpoly_variance_enforce.check @@ -36,10 +36,10 @@ object fcoll4_2 extends coll4[FooString, Any] // error ^ tcpoly_variance_enforce.scala:37: error: kinds of the type arguments (FooInvar) do not conform to the expected kinds of the type parameters (type m) in trait coll. FooInvar's type parameters do not match type m's expected parameters: type x (in class FooInvar) is invariant, but type x is declared covariant - def x: coll[FooInvar] = error("foo") // error + def x: coll[FooInvar] = system.error("foo") // error ^ tcpoly_variance_enforce.scala:38: error: kinds of the type arguments (FooContra) do not conform to the expected kinds of the type parameters (type m) in trait coll. FooContra's type parameters do not match type m's expected parameters: type x (in class FooContra) is contravariant, but type x is declared covariant - def y: coll[FooContra] = error("foo") // error + def y: coll[FooContra] = system.error("foo") // error ^ 11 errors found |