[m-dev.] diff: bug fix for higher-order implied modes

[Tyson Richard DOWD]

> 
> compiler/modecheck_call.m:
> compiler/modecheck_unify.m:
> 	Fix a bug in the code to recompute the non-local variables
> 	when handling calls to higher-order predicates or functions
> 	in implied modes.

Looks fine, (although explicit comments explaining what was being done
wouldn't hurt). Is there a test case for this?

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of
     trd at cs.mu.oz.au        #  fur.
http://www.cs.mu.oz.au/~trd #