Strings in lists are always equal
fabstractare imploded ATerms. When they are lists of the same length with strings inside,
<equal>tells they are equal even when the strings are different. The following test code says “equal” as long as the lists have the same length and only strings inside:
Submitted by Guido Wachsmuth on 2 June 2010 at 15:42
( (dabstract, fabstract) < “equal” + “unequal” ) ;
Fixed in r20935.
Log in to post comments