-- main.mcl --
import "fmt"
$x str = if true { # should fail unification
	42
} else {
	13
}
test "t1" {
	anotherstr => fmt.printf("hello %s", $x),
}
-- OUTPUT --
# err: errUnify: type/value inconsistent at arg #1 for func `fmt.printf`: str != int
