[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