Ciao 1.24.0 WARNING: predicate user:clause/2 from user(...) is being redefined

[pmoura]

Trying to run Logtalk ciaolgt integration script generatesWARNING: predicate user:clause/2 from user(...) is being redefined for each loaded file:

$ ciaolgt
...
{Compiling /Users/pmoura/logtalk/scratch/monitoring_2069058937_9807_lgt.pl
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/expanding_2069058937_9807_lgt) is being redefined
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/expanding_2069058937_9807_lgt) is being redefined
}
{Compiling /Users/pmoura/logtalk/scratch/forwarding_2069058937_9807_lgt.pl
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/monitoring_2069058937_9807_lgt) is being redefined
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/monitoring_2069058937_9807_lgt) is being redefined
}
{Compiling /Users/pmoura/logtalk/scratch/user_2069058937_9807_lgt.pl
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/forwarding_2069058937_9807_lgt) is being redefined
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/forwarding_2069058937_9807_lgt) is being redefined
}
{Compiling /Users/pmoura/logtalk/scratch/logtalk_2069058937_9807_lgt.pl
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/user_2069058937_9807_lgt) is being redefined
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/user_2069058937_9807_lgt) is being redefined
}
{Compiling /Users/pmoura/logtalk/scratch/core_messages_2069058937_9807_lgt.pl
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/logtalk_2069058937_9807_lgt) is being redefined
WARNING: predicate user:clause/2 from user(/Users/pmoura/logtalk/scratch/logtalk_2069058937_9807_lgt) is being redefined
}
...

Looking into the files, they contain no definition for the user:clause/2 predicate. What could be causing these warnings?

[jfmc]

Thanks for the report. The iso_strict package is including now better support for clause/2, but unfortunately it does behave well with user files (i.e., not modules). We are working on a fix.