[m-rev.] Re: deep profiling grade broken

Ralph Becket rafe at csse.unimelb.edu.au
Sun Aug 20 22:42:21 AEST 2006


Zoltan Somogyi, Sunday, 20 August 2006:
> compiler/unify_proc.m:
> 	When generating the code of unify and compare predicates, generate
> 	the same code for types that are equivalent to dummy types (e.g.
> 	io.io) as for dummy types themselves (e.g. io.state). This is
> 	to avoid potential problems with the cast versions of head variables
> 	being allocated to dummy stack slots by the LLDS code generator.

That looks good to me.
--------------------------------------------------------------------------
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