[m-rev.] ssdb version 1.0.

[Julien Fischer]

On Fri, 30 Nov 2007, Peter Wang wrote:

>> compiler/mercury_compile.m:
>
> Move the ssdb transformation to after the higher order specialisation
> pass to work around a compiler abort.  The higher order specialisation
> removes predicates which are used to "force the production of
> user-requested type specializations, since they are not called from
> anywhere and are no longer needed".  Let `p' be such a procedure, and
> the specialised version be `p1'.  Then remove `p'.  But due to the ssdb
> transformation, `p1' will contain a call to `p', in order to support
> retry.
>
> I'm not sure where the ssdb transform should go.  I assume as early as
> possible.

It depends, if it does "odd" things like, for example, the deep 
profiling transformation, it should probably goes as late as possible.

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