blob: c085aa271963a2da63b5307e8b4e1645caf46bed (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
checksensible.scala:13: error: comparing a fresh object using `eq' will always yield false
(new AnyRef) eq (new AnyRef)
^
checksensible.scala:14: error: comparing a fresh object using `ne' will always yield true
(new AnyRef) ne (new AnyRef)
^
checksensible.scala:15: error: comparing a fresh object using `eq' will always yield false
Shmoopie eq (new AnyRef)
^
checksensible.scala:16: error: comparing a fresh object using `eq' will always yield false
(Shmoopie: AnyRef) eq (new AnyRef)
^
checksensible.scala:17: error: comparing a fresh object using `eq' will always yield false
(new AnyRef) eq Shmoopie
^
checksensible.scala:18: error: comparing a fresh object using `eq' will always yield false
(new AnyRef) eq null
^
checksensible.scala:19: error: comparing a fresh object using `eq' will always yield false
null eq new AnyRef
^
checksensible.scala:26: error: comparing values of types Unit and Int using `==' will always yield false
(c = 1) == 0
^
checksensible.scala:27: error: comparing values of types Int and Unit using `==' will always yield false
0 == (c = 1)
^
checksensible.scala:29: error: comparing values of types Int and String using `==' will always yield false
1 == "abc"
^
checksensible.scala:32: error: String and Int are unrelated: they will most likely never compare equal
"abc" == 1 // warns because the lub of String and Int is Any
^
checksensible.scala:33: error: Some[Int] and Int are unrelated: they will most likely never compare equal
Some(1) == 1 // as above
^
checksensible.scala:35: error: comparing a fresh object using `==' will always yield false
new AnyRef == 1
^
checksensible.scala:38: error: comparing values of types Int and Boolean using `==' will always yield false
1 == (new java.lang.Boolean(true))
^
checksensible.scala:40: error: comparing values of types Int and Boolean using `!=' will always yield true
1 != true
^
checksensible.scala:41: error: comparing values of types Unit and Boolean using `==' will always yield false
() == true
^
checksensible.scala:42: error: comparing values of types Unit and Unit using `==' will always yield true
() == ()
^
checksensible.scala:43: error: comparing values of types Unit and Unit using `==' will always yield true
() == println
^
checksensible.scala:45: error: comparing values of types Int and Unit using `!=' will always yield true
(1 != println)
^
checksensible.scala:46: error: comparing values of types Int and Symbol using `!=' will always yield true
(1 != 'sym)
^
checksensible.scala:52: error: comparing a fresh object using `==' will always yield false
((x: Int) => x + 1) == null
^
checksensible.scala:53: error: comparing a fresh object using `==' will always yield false
Bep == ((_: Int) + 1)
^
checksensible.scala:55: error: comparing a fresh object using `==' will always yield false
new Object == new Object
^
checksensible.scala:56: error: comparing a fresh object using `==' will always yield false
new Object == "abc"
^
checksensible.scala:57: error: comparing a fresh object using `!=' will always yield true
new Exception() != new Exception()
^
checksensible.scala:60: error: comparing values of types Int and Null using `==' will always yield false
if (foo.length == null) "plante" else "plante pas"
^
checksensible.scala:65: error: comparing values of types Bip and Bop using `==' will always yield false
(x1 == x2)
^
checksensible.scala:75: error: comparing values of types EqEqRefTest.this.C3 and EqEqRefTest.this.Z1 using `==' will always yield false
c3 == z1
^
checksensible.scala:76: error: comparing values of types EqEqRefTest.this.Z1 and EqEqRefTest.this.C3 using `==' will always yield false
z1 == c3
^
checksensible.scala:77: error: comparing values of types EqEqRefTest.this.Z1 and EqEqRefTest.this.C3 using `!=' will always yield true
z1 != c3
^
checksensible.scala:78: error: comparing values of types EqEqRefTest.this.C3 and String using `!=' will always yield true
c3 != "abc"
^
checksensible.scala:89: error: comparing values of types Unit and Int using `!=' will always yield true
while ((c = in.read) != -1)
^
32 errors found
|