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

Andrew Bromage bromage at cs.mu.oz.au
Tue Sep 2 11:43:33 AEST 1997


G'day.

Fergus Henderson wrote:

> Index: modes.m
> ===================================================================
[...]
> -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?

Cheers,
Andrew Bromage



More information about the developers mailing list