Open nbraud opened 9 years ago
The im.tox.tox4j.lint.Override linter reports spurious errors.
im.tox.tox4j.lint.Override
For instance, Implementations of abstract methods must have the 'override' modifier: $init$ is reported on this code:
Implementations of abstract methods must have the 'override' modifier: $init$
import scala.collection.GenTraversable import scalaz._ trait OverrideTest[K, T <: Iterable[K]] extends GenTraversable[T] { def method(id: K): \/[Unit, Boolean] def method(obj: T): \/[Unit, Boolean] = delete(obj.head) }
There is also a spurious isDefinedAt reported against an anonymous function:
isDefinedAt
import scala.util.Try import scalaz._ final object OverrideTest { private def static[A](x: Try[\/[Unit, A]]): Try[\/[Unit, A]] = { x.recover { case exn: Exception => -\/(()) } } }
The
im.tox.tox4j.lint.Override
linter reports spurious errors.For instance,
Implementations of abstract methods must have the 'override' modifier: $init$
is reported on this code:There is also a spurious
isDefinedAt
reported against an anonymous function: