diff options
author | Paul Phillips <paulp@improving.org> | 2011-09-05 00:11:29 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-09-05 00:11:29 +0000 |
commit | fa2deeb4304d149c4870cfb013e7790d6fe00d86 (patch) | |
tree | bf0bbd999592d412811f4647f1e94ad3c1165191 /test/files/neg | |
parent | 6817244d64fca81810e6e45f8a4ea53e9e6d76c2 (diff) | |
download | scala-fa2deeb4304d149c4870cfb013e7790d6fe00d86.tar.gz scala-fa2deeb4304d149c4870cfb013e7790d6fe00d86.tar.bz2 scala-fa2deeb4304d149c4870cfb013e7790d6fe00d86.zip |
Offer warning when demonstrably non-side-effect...
Offer warning when demonstrably non-side-effecting expressions appear in
statement position, which should be unintentional by definition. Threw
in removal of six places with useless discarded expressions which the
warning informed me about. No review.
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/scopes.check | 4 | ||||
-rw-r--r-- | test/files/neg/stmt-expr-discard.check | 7 | ||||
-rw-r--r-- | test/files/neg/stmt-expr-discard.flags | 1 | ||||
-rw-r--r-- | test/files/neg/stmt-expr-discard.scala | 5 | ||||
-rw-r--r-- | test/files/neg/t1181.check | 4 | ||||
-rw-r--r-- | test/files/neg/t2078.scala | 2 | ||||
-rw-r--r-- | test/files/neg/t2641.check | 18 | ||||
-rw-r--r-- | test/files/neg/t2641.scala | 3 | ||||
-rw-r--r-- | test/files/neg/t278.check | 4 | ||||
-rw-r--r-- | test/files/neg/t278.scala | 2 | ||||
-rw-r--r-- | test/files/neg/t2910.check | 2 | ||||
-rw-r--r-- | test/files/neg/t2910.scala | 1 | ||||
-rw-r--r-- | test/files/neg/t4166.check | 2 | ||||
-rw-r--r-- | test/files/neg/t4166.scala | 4 | ||||
-rw-r--r-- | test/files/neg/t4419.check | 2 | ||||
-rw-r--r-- | test/files/neg/t4419.scala | 2 | ||||
-rw-r--r-- | test/files/neg/unit-returns-value.check | 5 | ||||
-rw-r--r-- | test/files/neg/variances.scala | 2 |
18 files changed, 47 insertions, 23 deletions
diff --git a/test/files/neg/scopes.check b/test/files/neg/scopes.check index 2f2eaa758f..f8e8c3758a 100644 --- a/test/files/neg/scopes.check +++ b/test/files/neg/scopes.check @@ -7,6 +7,9 @@ scopes.scala:5: error: x is already defined as value x scopes.scala:8: error: y is already defined as value y val y: Float = .0f ^ +scopes.scala:6: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses + { + ^ scopes.scala:11: error: x is already defined as value x def f1(x: Int, x: Float) = x ^ @@ -19,4 +22,5 @@ scopes.scala:13: error: x is already defined as value x scopes.scala:15: error: x is already defined as value x case x::x => x ^ +one warning found 7 errors found diff --git a/test/files/neg/stmt-expr-discard.check b/test/files/neg/stmt-expr-discard.check new file mode 100644 index 0000000000..2d6420a61d --- /dev/null +++ b/test/files/neg/stmt-expr-discard.check @@ -0,0 +1,7 @@ +stmt-expr-discard.scala:3: error: a pure expression does nothing in statement position; you may be omitting necessary parentheses + + 2 + ^ +stmt-expr-discard.scala:4: error: a pure expression does nothing in statement position; you may be omitting necessary parentheses + - 4 + ^ +two errors found diff --git a/test/files/neg/stmt-expr-discard.flags b/test/files/neg/stmt-expr-discard.flags new file mode 100644 index 0000000000..e8fb65d50c --- /dev/null +++ b/test/files/neg/stmt-expr-discard.flags @@ -0,0 +1 @@ +-Xfatal-warnings
\ No newline at end of file diff --git a/test/files/neg/stmt-expr-discard.scala b/test/files/neg/stmt-expr-discard.scala new file mode 100644 index 0000000000..e60c854625 --- /dev/null +++ b/test/files/neg/stmt-expr-discard.scala @@ -0,0 +1,5 @@ +class A { + def f = 1 + + 2 + - 4 +} diff --git a/test/files/neg/t1181.check b/test/files/neg/t1181.check index 2d7205c61f..3724752a85 100644 --- a/test/files/neg/t1181.check +++ b/test/files/neg/t1181.check @@ -1,4 +1,8 @@ +t1181.scala:8: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses + case (Nil, Nil) => map + ^ t1181.scala:9: error: missing parameter type _ => buildMap(map.updated(keyList.head, valueList.head), keyList.tail, valueList.tail) ^ +one warning found one error found diff --git a/test/files/neg/t2078.scala b/test/files/neg/t2078.scala index 03eaa7ed0b..342ba088c7 100644 --- a/test/files/neg/t2078.scala +++ b/test/files/neg/t2078.scala @@ -5,5 +5,5 @@ class A[-S](y : S) { object Test extends App { val a = new A(1) val b = a : A[Nothing] - b.f.x + println(b.f.x) } diff --git a/test/files/neg/t2641.check b/test/files/neg/t2641.check index 771624e8d9..2056a1b9ab 100644 --- a/test/files/neg/t2641.check +++ b/test/files/neg/t2641.check @@ -1,35 +1,35 @@ -t2641.scala:19: error: illegal cyclic reference involving trait ManagedSeq +t2641.scala:18: error: illegal cyclic reference involving trait ManagedSeq with TraversableViewLike[A, ManagedSeqStrict[A], ManagedSeq[A]] ^ -t2641.scala:17: error: illegal inheritance; +t2641.scala:16: error: illegal inheritance; self-type ManagedSeq does not conform to ManagedSeqStrict[A]'s selftype ManagedSeqStrict[A] extends ManagedSeqStrict[A] ^ -t2641.scala:18: error: illegal inheritance; +t2641.scala:17: error: illegal inheritance; self-type ManagedSeq does not conform to scala.collection.TraversableView[A,ManagedSeqStrict[A]]'s selftype scala.collection.TraversableView[A,ManagedSeqStrict[A]] with TraversableView[A, ManagedSeqStrict[A]] ^ -t2641.scala:17: error: illegal inheritance; +t2641.scala:16: error: illegal inheritance; self-type ManagedSeq does not conform to ScalaObject's selftype ScalaObject extends ManagedSeqStrict[A] ^ -t2641.scala:25: error: something is wrong (wrong class file?): trait ManagedSeq with type parameters [A,Coll] gets applied to arguments [], phase = typer +t2641.scala:24: error: something is wrong (wrong class file?): trait ManagedSeq with type parameters [A,Coll] gets applied to arguments [], phase = typer trait Transformed[+B] extends ManagedSeq[B, Coll] with super.Transformed[B] ^ -t2641.scala:27: error: something is wrong (wrong class file?): trait ManagedSeq with type parameters [A,Coll] gets applied to arguments [], phase = namer +t2641.scala:26: error: something is wrong (wrong class file?): trait ManagedSeq with type parameters [A,Coll] gets applied to arguments [], phase = namer trait Sliced extends Transformed[A] with super.Sliced { ^ -t2641.scala:27: error: illegal inheritance; superclass Any +t2641.scala:26: error: illegal inheritance; superclass Any is not a subclass of the superclass ManagedSeqStrict of the mixin trait Transformed trait Sliced extends Transformed[A] with super.Sliced { ^ -t2641.scala:27: error: illegal inheritance; superclass Any +t2641.scala:26: error: illegal inheritance; superclass Any is not a subclass of the superclass Object of the mixin trait Sliced trait Sliced extends Transformed[A] with super.Sliced { ^ -t2641.scala:28: error: value managedIterator is not a member of ManagedSeq +t2641.scala:27: error: value managedIterator is not a member of ManagedSeq override def managedIterator = self.managedIterator slice (from, until) ^ 9 errors found diff --git a/test/files/neg/t2641.scala b/test/files/neg/t2641.scala index 5529035f79..bc048e039e 100644 --- a/test/files/neg/t2641.scala +++ b/test/files/neg/t2641.scala @@ -9,8 +9,7 @@ abstract class ManagedSeqStrict[+A] { override def companion: GenericCompanion[ManagedSeqStrict] = null - override def foreach[U](f: A => U): Unit = - null + override def foreach[U](f: A => U): Unit = () } trait ManagedSeq[+A, +Coll] diff --git a/test/files/neg/t278.check b/test/files/neg/t278.check index ad1078f897..675ef910ee 100644 --- a/test/files/neg/t278.check +++ b/test/files/neg/t278.check @@ -2,8 +2,8 @@ t278.scala:5: error: overloaded method value a with alternatives: => C.this.A => Unit <and> => () => Unit does not take type parameters - a[A] - ^ + println(a[A]) + ^ t278.scala:4: error: method a is defined twice def a = (p:A) => () ^ diff --git a/test/files/neg/t278.scala b/test/files/neg/t278.scala index 16ffe10595..39a711bb09 100644 --- a/test/files/neg/t278.scala +++ b/test/files/neg/t278.scala @@ -2,5 +2,5 @@ class C { class A def a = () => () def a = (p:A) => () - a[A] + println(a[A]) } diff --git a/test/files/neg/t2910.check b/test/files/neg/t2910.check index ff190122d6..44bf1993db 100644 --- a/test/files/neg/t2910.check +++ b/test/files/neg/t2910.check @@ -10,7 +10,7 @@ t2910.scala:16: error: forward reference extends over definition of value z t2910.scala:30: error: forward reference extends over definition of value x lazy val f: Int = x ^ -t2910.scala:34: error: forward reference extends over definition of variable x +t2910.scala:35: error: forward reference extends over definition of variable x lazy val f: Int = g ^ 5 errors found diff --git a/test/files/neg/t2910.scala b/test/files/neg/t2910.scala index b772ee4d43..d9a781032c 100644 --- a/test/files/neg/t2910.scala +++ b/test/files/neg/t2910.scala @@ -29,6 +29,7 @@ object Test { { lazy val f: Int = x val x: Int = f + println(x) } { lazy val f: Int = g diff --git a/test/files/neg/t4166.check b/test/files/neg/t4166.check index 24129c54ad..10b77d841a 100644 --- a/test/files/neg/t4166.check +++ b/test/files/neg/t4166.check @@ -1,4 +1,4 @@ t4166.scala:3: error: super constructor arguments cannot reference unconstructed `this` -class Demo extends Base(new { Demo.this }) { +class Demo extends Base(new { Demo.this.toString }) { ^ one error found diff --git a/test/files/neg/t4166.scala b/test/files/neg/t4166.scala index c20796c43c..a2ee0671ab 100644 --- a/test/files/neg/t4166.scala +++ b/test/files/neg/t4166.scala @@ -1,11 +1,11 @@ class Base(a: Any) -class Demo extends Base(new { Demo.this }) { +class Demo extends Base(new { Demo.this.toString }) { val x: Any = () } -class Demo2 extends Base(new { this }) { +class Demo2 extends Base(new { this.toString }) { val x: Any = () } diff --git a/test/files/neg/t4419.check b/test/files/neg/t4419.check index 8a5d95ca4e..a53e0c95da 100644 --- a/test/files/neg/t4419.check +++ b/test/files/neg/t4419.check @@ -1,4 +1,4 @@ t4419.scala:2: error: forward reference extends over definition of value b - { val b = a; val a = 1 } + { val b = a; val a = 1 ; println(a) } ^ one error found diff --git a/test/files/neg/t4419.scala b/test/files/neg/t4419.scala index 38a34be489..5dc86d354e 100644 --- a/test/files/neg/t4419.scala +++ b/test/files/neg/t4419.scala @@ -1,3 +1,3 @@ class A { - { val b = a; val a = 1 } + { val b = a; val a = 1 ; println(a) } }
\ No newline at end of file diff --git a/test/files/neg/unit-returns-value.check b/test/files/neg/unit-returns-value.check index 18368f45ab..ab458a350b 100644 --- a/test/files/neg/unit-returns-value.check +++ b/test/files/neg/unit-returns-value.check @@ -1,4 +1,7 @@ +unit-returns-value.scala:4: error: a pure expression does nothing in statement position; you may be omitting necessary parentheses + if (b) return 5 + ^ unit-returns-value.scala:4: error: enclosing method f has result type Unit: return value discarded if (b) return 5 ^ -one error found +two errors found diff --git a/test/files/neg/variances.scala b/test/files/neg/variances.scala index 181783f48a..f693480d1d 100644 --- a/test/files/neg/variances.scala +++ b/test/files/neg/variances.scala @@ -29,7 +29,7 @@ object Covariant { def b2a(b : B) : A def doit(b : B) = setA(b2a(b)) } - () + println("") } } class Foo3[+A] { |