[m-rev.] work around a bug for --trace-optimized

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Mar 18 16:09:49 AEDT 2002


On 18-Mar-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> @@ -891,6 +900,21 @@
>  		CalledGoal = foreign_proc(_,_,_,_,_,_,_) - _,
>  		proc_info_interface_determinism(ProcInfo, Detism),
>  		( Detism = nondet ; Detism = multidet )
> +	),
> +
> +	% If tracing is enabled, then the code generator will need to figure
> +	% out the locations of typeinfos inside typeclass_infos. At the moment,
> +	% due to a bug, the algorithm for doing this figuring can cause a
> +	% compiler abort if we inline calls that have typeclass constraints.
> +	(
> +		Tracing = yes
> +	=>
> +		(
> +			pred_info_clauses_info(PredInfo, ClausesInfo),
> +			TypeClassInfoVarMap = ClausesInfo ^
> +				clause_typeclass_info_varmap,
> +			map__is_empty(TypeClassInfoVarMap)
> +		)

I think this comment warrants an XXX.

Otherwise that looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list