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

Peter Ross peter.ross at miscrit.be
Thu Jan 4 19:41:22 AEDT 2001


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.

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



More information about the developers mailing list