[m-rev.] agc and optimisations fix

[Ben Schmidt]

I knew I could rely on you to pick the log message to bits. :-)

Estimated hours taken: 1
Branches: main

Change optimisations used with the accurate garbage collector.

compiler/handle_options.m:
     - higher order specialisations can be enabled now since hoisting
     referencing the hoisted variabled are sequenced not interleaved,
     so typeinfos no longer need to occur to the right of the variables
     they describe in parameter lists.
     - optimize-constructor-last-call is not compatible with
     the accurate collector at this stage as it doesn't know about the
     pre-constructed data structures nor the references into them that
     are passed around.

Comment in the C code also updated for that one.

Thanks!

Ben.


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