|
@@ -16,8 +16,17 @@ case class FoundBrokenOddness(num: Lit) extends Diagnostic {
|
|
|
16
16
|
override def run(): Unit = {
|
|
17
17
|
tree.collect {
|
|
18
|
+
case Term.ApplyInfix(
|
|
19
|
+
Term.ApplyInfix(
|
|
20
|
+
t @ Lit.Int(num),
|
|
18
|
-
|
|
21
|
+
Term.Name("%"),
|
|
22
|
+
_,
|
|
23
|
+
List(Lit.Int(2))
|
|
24
|
+
),
|
|
19
|
-
|
|
25
|
+
Term.Name("=="),
|
|
26
|
+
_,
|
|
27
|
+
List(Lit.Int(1))
|
|
28
|
+
) =>
|
|
20
29
|
if (num < 0)
|
|
21
30
|
Patch.lint(FoundBrokenOddness(t))
|
|
22
31
|
}
|