<font size=2 face="sans-serif">Hello Tuncer,</font>
<br><tt><font size=2> <br>
> 1. M1 exists as a file<br>
> <br>
> 2. M1 call M2:gimme_data/1, say in M1:do_stuff/3<br>
> <br>
> 3. M2 only exists at runtime without a corresponding file<br>
> <br>
> 4. The warning is about a call to M2:gimme_data/1 which is<br>
>    unknown because M2 doesn't exist (yet).<br>
> <br>
> Assuming I got this right, you would add<br>
> <br>
> -dialyzer({no_missing_calls, do_stuff/3})<br>
> <br>
> in M1.erl, to avoid the warning.<br>
</font></tt>
<br><font size=2 face="sans-serif">Indeed, you got it right, however, unless
I made clumsy mistakes, in M1.erl (using your example functions), no combination
of: </font>
<br>
<br><font size=2 face="sans-serif">         -dialyzer(
{ no_missing_calls, do_stuff/3 } ).</font>
<br>
<br><font size=2 face="sans-serif">and/or </font>
<br>
<br><font size=2 face="sans-serif">         -dialyzer(
{ nowarn_function, do_stuff/3 } ).</font>
<br>
<br><font size=2 face="sans-serif">prevents Dialyzer from telling that
functions like M2:gimme_data/1 are unknown. </font>
<br>
<br><font size=2 face="sans-serif">I was thinking that functions specified
in the -dialyzer attribute are the callee ones, not the caller ones (that's
why I wanted to see whether we could specify a module for them, if they
were not M1-local).</font>
<br>
<br><font size=2 face="sans-serif">Anyway, not a big problem. Maybe in
the future separate suppression files (listing the warnings to be suppressed
regardless of the call site) will be supported (supposing it is not supported
yet).</font>
<br>
<br><font size=2 face="sans-serif">Thanks for your time!</font>
<br>
<br><font size=2 face="sans-serif">Best,</font>
<br>
<br><font size=2 face="sans-serif">Olivier.</font>
<br>
<table width=616 style="border-collapse:collapse;">
<tr valign=top height=8>
<td width=117 rowspan=2 style="border-style:solid;border-color:#000000;border-width:0px 0px 0px 0px;padding:2px 2px;"><img src=cid:_1_0C5892280C588E54003339B9C1257E88>
<td width=490 style="border-style:solid;border-color:#000000;border-width:0px 0px 0px 0px;padding:2px 2px;"><font size=1 face="sans-serif"> </font>
<tr valign=top height=8>
<td width=490 style="border-style:solid;border-color:#000000;border-width:0px 0px 0px 0px;padding:2px 2px;"><font size=1 color=#ff8100 face="Arial"><b>Olivier
BOUDEVILLE</b></font><font size=1 color=#0062e1 face="Arial"><br>
EDF – R&D<br>
Département SINETICS, Groupe ASICS, Bureau B-226<br>
1, avenue du Général de Gaulle<br>
92140 Clamart</font><font size=1 color=#0062e1 face="sans-serif"><br>
 </font>
<br><font size=1 color=#0062e1 face="Arial"><b>olivier.boudeville@edf.fr</b></font>
<br><font size=1 color=#0062e1 face="Arial">Tél. : +33 (0)1 47 65 59 58<br>
Tél. mobile : +33 (0)6 16 83 37 22<br>
Fax : +33 (0)1 47 65 27 13</font>
<tr height=8>
<td width=117 style="border-style:solid;border-color:#000000;border-width:0px 0px 0px 0px;padding:2px 2px;">
<div align=right><img src=cid:_1_0CC6E4640CC6D7DC003339B9C1257E88></div>
<td width=490 style="border-style:solid;border-color:#000000;border-width:0px 0px 0px 0px;padding:2px 2px;"><font size=1 color=#0062e1 face="Arial">Un
geste simple pour l'environnement, n'imprimez ce message que si vous en
avez l'utilité.</font></table>
<br>
<p></p>

<p><br>
Ce message et toutes les pièces jointes (ci-après le 'Message') sont établis à l'intention exclusive des destinataires et les informations qui y figurent sont strictement confidentielles. Toute utilisation de ce Message non conforme à sa destination, toute diffusion ou toute publication totale ou partielle, est interdite sauf autorisation expresse.</p>

<p>Si vous n'êtes pas le destinataire de ce Message, il vous est interdit de le copier, de le faire suivre, de le divulguer ou d'en utiliser tout ou partie. Si vous avez reçu ce Message par erreur, merci de le supprimer de votre système, ainsi que toutes ses copies, et de n'en garder aucune trace sur quelque support que ce soit. Nous vous remercions également d'en avertir immédiatement l'expéditeur par retour du message.</p>

<p>Il est impossible de garantir que les communications par messagerie électronique arrivent en temps utile, sont sécurisées ou dénuées de toute erreur ou virus.<br>
____________________________________________________</p>

<p>This message and any attachments (the 'Message') are intended solely for the addressees. The information contained in this Message is confidential. Any use of information contained in this Message not in accord with its purpose, any dissemination or disclosure, either whole or partial, is prohibited except formal approval.</p>

<p>If you are not the addressee, you may not copy, forward, disclose or use any part of it. If you have received this message in error, please delete it and all copies from your system and notify the sender immediately by return message.</p>

<p>E-mail communication cannot be guaranteed to be timely secure, error or virus-free.</p>