[m-dev.] diff: add pred_or_func to higher_order_call goals

[Fergus Henderson]

Andrew Bromage, you wrote:
> > -modecheck_goal_expr(higher_order_call(PredVar, Args0, _, _, _),
> > +modecheck_goal_expr(higher_order_call(PredVar, Args0, _, _, _, PredOrFunc),
> >  		GoalInfo0, Goal) -->
> > -	modecheck_higher_order_pred_call(PredVar, Args0, GoalInfo0, Goal).
> > +	modecheck_higher_order_pred_call(PredVar, Args0, PredOrFunc, GoalInfo0,
> > +		Goal).
> 
> This will produce misleading dumps when --debug-modes is specified.
> (Mind you, they were misleading to start with.)  Perhaps you should
> call either modecheck_higher_order_pred_call or
> modecheck_higher_order_func_call depending on the PredOrFunc field?

My change included modifying modecheck_higher_order_pred_call so that
it prints out "modechecking call" rather than "modechecking predicate call".

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.