[m-dev.] trivial diff: fix goal wrapping for record syntax

[Fergus Henderson]

On 04-Jan-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> On Thu, Jan 04, 2001 at 04:57:05PM +1100, Simon Taylor wrote:
> > 
> > compiler/make_hlds.m:
> > 	Don't wrap the goals added by the compiler for a record syntax
> > 	expression in a `some' to make mode analysis treat them as an atomic
> > 	goal, because that is not consistent with how other goals are handled. 
>
> I am curious as to why this is a problem.

Me too.  If you're committing this on the release branch,
it must be because it fixes a bug (I hope ;-), and so
I'd like to see a regression test for the bug that it fixes.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------