|
Home
News
Information
Overview
Features
Documentation
Papers
Developers
Events
Reports
Mailing Lists
Developers
Users
Search
Download
Current Release
Snapshot
Old Releases
Related
Applications
MCORBA
Contributing Code
Contact
Search
|
Subject: Re: [mercury-users] determinism suprises
From: William Lee Irwin III (wli@holomorphy.com)
Date: Sat Dec 09 2000 - 18:32:31 EST
On Sat, Dec 09, 2000 at 10:00:06AM +1100, Fergus Henderson wrote:
> A different ordering of the conjunction will be used for each mode,
> but conjunctions are only reordered to satisfy the modes, not to
> satisfy the determinism.
I can't be sure, then, whether this is from the compiler or not.
On Sat, Dec 09, 2000 at 10:00:06AM +1100, Fergus Henderson wrote:
> Could you post the code, or at least the mode declarations,
> for the predicates that this one calls?
I'm firing it off as a MIME attachment to this message. It's got some
moderately large tables in the module, so I've stripped down the module
to only the relevant predicates.
Cheers,
Bill
--
Die ganzen Zahlen hat der liebe Gott gemacht; alles andere ist Menschenwerk.
-- Leopold Kronecker
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
This mail archive was generated by hypermail 2b25 on Sun Dec 31 2000 - 00:40:03 EST.
|
