Parameter names not unique
Compilation of testcase tessla/resources/de/uni_luebeck/isp/tessla/common/objects/cyclic.tessla
produces the core specification:
in v: Events[Int]
@$name("y1")
out $108
@$name("x1")
out v
@$name("z1")
out $112
def $909: (strict (Int, Int)) => Int = ($906: strict (Int, Int)) => {
def $912: Int = $906._1
$912
}
def y$20: Events[(Int, Int)] = extern("default")[(Int, Int)]($91, $97)
def $108: Events[Int] = extern("slift")[(Int, Int), Int](y$20, $909)
def z$21: Events[(Int, Int)] = extern("slift")[Int, Int, (Int, Int)](v, v, $910)
def $910: (strict Int, strict Int) => (Int, Int) = (a$848: strict Int, b$849: strict Int) => {
def $913: (Int, Int) = (a$848, a$848)
$913
}
def $112: Events[Int] = extern("slift")[(Int, Int), Int](z$21, $911)
def $911: (strict (Int, Int)) => Int = ($909: strict (Int, Int)) => {
def $914: Int = $909._2
$914
}
def $97: (Int, Int) = (0, 1)
def $91: Events[(Int, Int)] = extern("nil")[(Int, Int)]()
In this specification $909
appears twice: As variable name and as parameter name.
This is not conformant to Lanspec 1.0.