[m-dev.] location of assertions

Peter Wang novalazy at gmail.com
Tue Jul 3 17:18:33 AEST 2012


On Tue, 3 Jul 2012 15:25:47 +1000, Peter Wang <novalazy at gmail.com> wrote:
> 1. intermod.m contains code to write assertions out to .opt files.
>    It is never used because predicates representing assertions have
>    `status_local' which causes them to be filtered out.

Sorry, this is wrong.  The infer_modes marker is being set on assertion
predicates which has the side-effect of filtering them out of .opt
files.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the developers mailing list