nineties/amber

[Bug] Union of functions that have variable arguments.

Closed this issue · 1 comments

nineties commented 
amber:4> f(x...) := 0
=> <#Function>
amber:5> f(x, y, z...) := 1
=> <#Function>
amber:6> f(1)
Exception: MatchingFailed{domain = (x, y, z...) | (x...), [1]}
nineties commented

This bug was caused by merging %VariableLength patterns incorrectly.