A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
A compiler plugin that improves on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
See test/files for more examples. We would like to get a lot more things done eventually, see open issues.
null
.isInstanceOf
).asInstanceOf
).equals
, toString
, hashCode
.notify
or wait
in pure code..getClass
.We are more interested in Scalazzi+, which adds:
Eq
(used in laws and pattern matching) must satisfy:
The last requirement might seem a bit cryptic, but it has a wide range of implications, for example:
if (a === b) {
// now we know that a.type === b.type
}