[m-rev.] for review: fix `:- mutable' decls and sub-modules

[Ralph Becket]

Julien Fischer, Thursday, 15 September 2005:
> 
> For review by Ralph.
> 
> Estimated hours taken: 10
> Branches: main
> 
> Fix the problems with mutable declarations and sub-modules by making
> sure that the relevant information is written out in the private interface
> files.
> 
> Fix a bug where mutable variables were not being initialised with their
> declared intial value.  The problem was that the compiler was optimizing away
> the body of the automatically generated predicate that was setting the initial
> value.  We now make such predicates impure to prevent this.
> 
> In order to support the above, accept `:- intialise' declarations that
> specify impure predicates, provided that the declaration in question
> was generated by the compiler.  It is still an error for the user to
> specify such declarations.
> 
> Fix some other problems with the code that handles mutable declarations.

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