<font size=2 face="sans-serif">Hi,</font>
<br>
<br><font size=2 face="sans-serif">Using 18.0, is there a way of specifying
to Dialyzer that warnings about calls to non-existing functions should
be suppressed by telling that from outside of the module that is supposed
to define these functions?</font>
<br>
<br><font size=2 face="sans-serif">More precisely, in my case, a pseudo-module
foobar is generated at runtime (compiled and loaded) with some functions
(ex: baz/0), here from a test. When inspecting the BEAM of this test, as
expected Dialyzer complains that there are calls to unknown function foobar:baz/0.</font>
<br>
<br><font size=2 face="sans-serif">As I have no BEAM for this generated
foobar, I suppose I cannot suppress warnings from foobar.</font>
<br>
<br><font size=2 face="sans-serif">Typically in my test I would write '-dialyzer(
{ nowarn_function, foobar:baz/0 } ).' but I do not think that specifying
"module-remote" functions is permitted? (the previous suppression
triggers 'bad attribute' at compilation, because of the specification of
the module, here  foobar)</font>
<br>
<br><font size=2 face="sans-serif">A few other points:</font>
<br>
<br><font size=2 face="sans-serif"> - random:ran/0 is mentioned in
</font><a href=http://erlang.org/doc/man/random.html><font size=2 face="sans-serif">http://erlang.org/doc/man/random.html</font></a><font size=2 face="sans-serif">
but does not seem to be exported; the same applies for </font><a href=file://mode/0><font size=2 face="sans-serif">file:mode/0</font></a>
<br>
<br><font size=2 face="sans-serif"> - previously built-in parametric
types could be used, like in  '-opaque hashtable( K, V ) :: tuple(
bucket( K, V ) ).' or ' -opaque map_hashtable( K, V ) :: map( K, V ).';
it does not seem to be possible anymore, presumably in relation to OTP-11851?
(ex: 'type tuple(_) undefined').</font>
<br>
<br><font size=2 face="sans-serif">Finally, if generating the full PLT
for Erlang itself, we have following warnings being issued:</font>
<br>
<br><font size=2 face="sans-serif">"""</font>
<br><font size=2 face="sans-serif">eunit_test.erl:305: Call to missing
or unexported function eunit_test:nonexisting_function/0</font>
<br><font size=2 face="sans-serif">xrc.erl:125: Call to missing or unexported
function wxXmlResource:reload/2</font>
<br><font size=2 face="sans-serif">Unknown functions:</font>
<br><font size=2 face="sans-serif">  asn1rt_driver_handler:load_driver/0</font>
<br><font size=2 face="sans-serif">  megaco_ber__media_gateway_control_v1:info/0</font>
<br><font size=2 face="sans-serif">  wxWindows:'Destroy'/1</font>
<br><font size=2 face="sans-serif">  wx_core:quit/0</font>
<br><font size=2 face="sans-serif">"""</font>
<br>
<br><font size=2 face="sans-serif">Maybe they could be fixed or suppressed?</font>
<br>
<br><font size=2 face="sans-serif">Thanks for any information,</font>
<br><font size=2 face="sans-serif">Best,</font>
<br><font size=2 face="sans-serif"><br>
Olivier.<br>
---------------------------<br>
Olivier Boudeville<br>
<br>
EDF R&D : 1, avenue du Général de Gaulle, 92140 Clamart, France<br>
Département SINETICS, groupe ASICS (I2A), bureau B-226<br>
Office : +33 1 47 65 59 58 / Mobile : +33 6 16 83 37 22 / Fax : +33 1 47
65 27 13</font><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>