[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