[m-dev.] location of assertions

Peter Wang novalazy at gmail.com
Wed Jul 4 17:56:02 AEST 2012


On Tue, 3 Jul 2012 21:36:52 +1000 (EST), Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> Agreed.  (Essentially what I am proposing above is that we should change
> it.)

I've made progress with this proposal but if I'm not mistaken, .int
files are generated without type checking, which would be required to
module-qualify the symbols in assertions.

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