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

Jeff Thompson jeff at thefirst.org
Wed Feb 15 07:57:15 AEDT 2012

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

More information about the users mailing list