[darcs-users] darcs patch: Use standard library function `union` instead of custo...

Thorkil Naur naur at post11.tele.dk
Thu Mar 12 06:39:02 UTC 2009


On Thursday 12 March 2009 06:14, Trent W.Buck wrote:
> Replaces rejected patch that refactored add_to_list.
> Thu Mar 12 04:41:19 UTC 2009  Trent W. Buck <trentbuck at gmail.com>
>   * Use standard library function `union` instead of custom `add_to_list`.

I am not sure whether this is important, but with union, the element will be 
added at the beginning, not at the end, as with add_to_list. SInce this is 
the user prefrerences file being manipulated here (I think), this change will 
be visible to users.

Thanks and best regards

More information about the darcs-users mailing list