Christopher Rodd SPEIRS crs at
Mon Feb 10 13:49:03 AEDT 1997

I was looking through list.m, and noticed a bug in
list__merge_and_remove_dups.  I am not sure what the correct behaviour should
be, but the current behaviour seems wrong.  

Currently, list__merge_and_remove_dups runs as follows:
list__merge_and_remove_dups([1,1,1], [1,1,2], [1,1,2]).
list__merge_and_remove_dups([1,1,2], [1,1,1], [1,1,1,2]).

More information about the developers mailing list