[m-rev.] for review: dependent parallel conjunctions

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Aug 8 15:16:21 AEST 2006

On Mon, 7 Aug 2006, Peter Wang wrote:

>>> process_proc_for_dep_par_conj_with_ignores(PredId, ProcId, IgnoreVars,
>>>       !ModuleInfo, !ParProcs, !IO) :-
>>>   some [!PredInfo, !ProcInfo, !Body, !VarSet, !VarTypes] (
>>>       module_info_pred_proc_info(!.ModuleInfo, PredId, ProcId,
>>>           !:PredInfo, !:ProcInfo),
>>>       proc_info_get_goal(!.ProcInfo, !:Body),
>>>       proc_info_get_varset(!.ProcInfo, !:VarSet),
>>>       proc_info_get_vartypes(!.ProcInfo, !:VarTypes),
>>>       proc_info_get_initial_instmap(!.ProcInfo, !.ModuleInfo, InstMap0),
>>>       Info0 = dep_par_info(!.ParProcs, !.ModuleInfo,
>>>           !.VarSet, !.VarTypes, IgnoreVars),
>>>       search_goal_for_par_conj(!Body, InstMap0, _, Info0, Info1),
>>>       (if handle_dep_par_conj(!.ModuleInfo) then
>>>           replace_sequences_in_goal(!Body, Info1, Info2),
>>>           Info2 = dep_par_info(!:ParProcs, !:ModuleInfo,
>>>               !:VarSet, !:VarTypes, _IgnoreVars),
>>>           rename_apart_in_goal(!.ModuleInfo, !Body, InstMap0,
>>>               !VarSet, !VarTypes)
>> Introducing fresh variables, by renaming apart, might potentially mean that
>> the RTTI varmaps need to be updated.  (I'm pretty sure that isn't the
>> case here, but if so there should at least be a comment explaining why it is
>> okay not to update them.)
> I don't know anything about RTTI.  I'll fix it later if something happens.

Put an XXX comment there - I'll take a look at it after you commit it.

mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list