Typechecker Error
The specification
in x: Events[Unit]
def y: (Option[Int], Option[Int]) = (None, None)
out filter(x, isNone(y._1))
leads to the compiler error
Error: test.tessla(5,22 - 5,26): Type mismatch: Expected Events[Option[?]], found Option[Int]
Compilation failed with 0 warnings and 1 errors
However, if isNone
expression is bind to an identifier the error does not occur:
in x: Events[Unit]
def y: (Option[Int], Option[Int]) = (None, None)
def isN = isNone(y._1)
out filter(x, isN)
The error is present in branch 2.1.0-development
. In master
the bug is not present.