[m-rev.] diff: mark empty, non_empty and set as obsolete

[Zoltan Somogyi]

As per our discussion early in the week, this does not mark
from_list and from_sorted_list as obsolete, though it does stop
using them.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.set3
Type: application/octet-stream
Size: 1525 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20190913/6af9e64b/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.set3
Type: application/octet-stream
Size: 29645 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20190913/6af9e64b/attachment-0003.obj>