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

[Zoltan Somogyi]

On 17-Nov-2004, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> --- compiler/make_hlds.m	5 Nov 2004 05:39:05 -0000	1.485
> +++ compiler/make_hlds.m	17 Nov 2004 06:14:45 -0000
> @@ -4248,7 +4248,9 @@
>  	module_info_name(!.Module, ModuleName),
>  	special_pred_interface(SpecialPredId, Type, ArgTypes, ArgModes, Det),
>  	Name = special_pred_name(SpecialPredId, TypeCtor),
> -	PredName = unqualified(Name),
> +	TypeCtor = TypeSymName - _TypeArity,
> +	sym_name_get_module_name(TypeSymName, ModuleName, TypeModuleName),
> +	PredName = qualified(TypeModuleName, Name),
>  	special_pred_name_arity(SpecialPredId, _, Arity),
>  	clauses_info_init(Arity, ClausesInfo0),
>  	adjust_special_pred_status(SpecialPredId, Status0, Status),

This part should be changed to leave PredName as unqualified(Name) for
the unify, index and compare predicates. Otherwise the diff is fine.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------