[m-rev.] Solver support for abstract equivalence solver types

[Julien Fischer]

On Mon, 13 Dec 2004, Ralph Becket wrote:

> Julien Fischer, Monday, 13 December 2004:
> >


> > > +		PredName = special_pred__special_pred_name(initialise,
> > > +				TypeCtor),
> > Fix the indentation here.
> >
> > > +		hlds_module__module_info_name(ModuleInfo, ModuleName),
> > > +		TypeCtor = TypeSymName - _TypeArity,
> > > +		sym_name_get_module_name(TypeSymName, ModuleName,
> > > +			TypeModuleName),
> > > +		InitPred = qualified(TypeModuleName, PredName),
> > > +		PredId   = invalid_pred_id,
> > > +		ModeId   = invalid_proc_id,
> > > +		InitCall = call(PredId, ModeId, [X0], not_builtin, no,
> > > +				InitPred),
> > > +		InitGoal = InitCall - GoalInfo,
> > and here.
>
> Sorry, what's the problem with the indentation here?
>
Sorry, that seems to be my mail rearder.


Cheers,
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------