The strategy

s1 < s2 + s3 + s4

is ambiguous:

s1 < (s2 + s3) + s4 <=> s1 < s2 + (s3 + s4)

reproduce issue with:

module reproduce
strategies
main = id < id + id + id

Submitted on 15 December 2004 at 11:26