[mercury-users] Newbie problem. :)

[Peter Schachte]

On Wed, Jun 16, 1999 at 12:22:28PM +1000, Thomas Conway wrote:
> On Wed, Jun 16, 1999 at 09:36:16AM EST, Richard A. O'Keefe wrote:
> > I also had in mind predicates as a replacement for patterns.
> > One of the serious weaknesses of Prolog, which Mercury has inherited,
> 
> I remember talking about something like this with Fergus a long time ago
> (ie round 1994): doing switch detection after inlining, but that had the
> problem that inlining was optional, and making the correctness of you
> program depend on the optimization setting was a Bad Thing.

Agreed.  But with a declaration to tell the compiler that a number of
goals are mutually exclusive, that isn't a problem. 

-- 
Peter Schachte                     Only when the last tree has died And the
mailto:schachte at cs.mu.OZ.AU        last river been poisoned And the last
http://www.cs.mu.oz.au/~schachte/  fish caught Will we realize that we
PGP: finger schachte at 128.250.37.3  cannot eat money. -- The Cree 
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------