[mercury-users] Disable or warn for implicit modes?

[Jeff Thompson]

Hello.  Sometimes the compiler will create an implicit mode which is not 
declared.  For example, if the predicate  argument only has an "out" 
mode but is called with "in", it will call the predicate with a 
temporary "out" argument and check for equality on return.  But if this 
is done when there are different clauses for different modes, it can 
cause unexpected behavior.

Is there a compiler switch to disable or warn if implicitly calling a 
predicate with an undeclared mode?

Thanks for any pointers,
- Jeff

--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------