func f -> int.
func zero -> int.
zero 0.
constraint f {
rule (f X) <=> ({zero} = X).
}The code above gives a spilling parsing error:
Anomaly: File "xxx", line 7, column 18, characters 76-82: Everything should have already been spilled
If I change the code into:
constraint f {
rule (f X) <=> (zero Spill, Spill = X).
}
it works
The code above gives a spilling parsing error:
Anomaly: File "xxx", line 7, column 18, characters 76-82: Everything should have already been spilledIf I change the code into:
it works