[m-rev.] diff: proc_requests.m

[Zoltan Somogyi]

I noticed recently that the two parts of unify_proc.m didn't have
much to do with each other. This makes it clear that the new proc_requests.m
works as much with predicates whose mode is being inferred as with
unify, index and compare predicates.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.pr
Type: application/octet-stream
Size: 846 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20170629/c17e6463/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.pr
Type: application/octet-stream
Size: 38250 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20170629/c17e6463/attachment-0003.obj>