[m-rev.] for review: delay partial instantiations pass

[Julien Fischer]

On Fri, 22 Jun 2007, Peter Wang wrote:

> On 2007-06-22, Peter Ross <pro at missioncriticalit.com> wrote:
>> On Thu, Jun 21, 2007 at 01:57:26PM +1000, Peter Wang wrote:
>>> Estimated hours taken: 30
>>> Branches: main
>>>
>>> Add a post-processing pass directly after mode checking that tries to transform
>>> procedures to avoid intermediate partially instantiated data structures.  The
>>> Erlang backend in particular cannot handle partially instantiated data
>>> structures.
>>>
>>> compiler/delay_partial_inst.m:
>>> 	New module.
>>>
>>> compiler/check_hlds.m:
>>> 	Import delay_partial_inst.m
>>>
>>> compiler/modes.m:
>>> 	Call the delay partial instantiations pass after mode checking succeeds
>>> 	if it is enabled.
>>>
>>> compiler/options.m:
>>> 	Add a new internal option `--delay-partial-instantiations', disabled by
>>> 	default.
> ...
>>
>> I think even commented out options haves to be documented in the
>> user_guide

For future reference: the policy regarding what to document and where is in
the comment above the definition of the type option/0 in compiler/options.m.

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