list__merge_and_remove_dups

Christopher Rodd SPEIRS crs at students.cs.mu.oz.au
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