[m-dev.] location of assertions

Zoltan Somogyi zs at unimelb.edu.au
Mon Jul 2 17:35:37 AEST 2012


On 02-Jul-2012, Peter Wang <novalazy at gmail.com> wrote:
> Assertions required for accumulator introduction are supposed to be
> written out to .opt files, right?

I don't think that was ever specified; assertions were always too experimental
for that. But yes, if all the things (predicates, types) mentioned in an
assertion are exported, I think the assertion should be exported as well.

Zoltan.
--------------------------------------------------------------------------
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