Sorry, that was:<div><br></div><div>-type non_neg_float() :: float().</div><div><br></div><div>Stavros<br><div><br>On Thursday, September 27, 2012 6:32:47 PM UTC+2, Stavros Aronis wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">Hello!<div><br></div><div>Unfortunately Dialyzer does not support it (even constants are generalized to any float, typwise). Consequentially, the type language does tnot support it. </div><div>You can maybe try:</div><div><br></div><div>-type define non_neg_float() :: float().</div><div><br></div><div>This will help you documentation-wise and also (though in a somewhat limited way) Dialyzer-wise. If you use this type PropEr-wise however, you will get positive values, which you will need to filter...</div><div><br></div><div>Stavros<br><br>On Thursday, September 27, 2012 6:10:14 PM UTC+2, Zhemzhitsky Sergey wrote:<blockquote class="gmail_quote" style="margin:0;margin-left:0.8ex;border-left:1px #ccc solid;padding-left:1ex">





<div lang="RU" link="blue" vlink="purple">
<div>
<p class="MsoNormal"><span lang="EN-US">Hello erlangers,</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span lang="EN-US">Is it possible to define non_neg_float() type specification somehow?</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="color:black">Best Regards,</span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="color:black">Sergey</span></p>
<p class="MsoNormal"> </p>
</div>

<p><span style="font-family:'Arial';font-size:8pt">______________________________<wbr>_________________________</span></p>
<p><span style="font-family:'Arial';font-size:8pt"></span></p>
<p><span style="font-family:'Arial';font-size:8pt"> </span></p>
<p><span style="font-family:'Arial';font-size:8pt">The information contained in this message may be privileged and conf idential and protected from disclosure. If you are not the original intended recipient, you are hereby notified that any review, retransmission, dissemination, or other use of, or taking of any action in reliance upon, this information is prohibited. If you have received this communication in error, please notify the sender immediately by replying to this message and delete it from your computer. Thank you for your cooperation. Troika Dialog, Russia. </span></p>
<p><span style="font-family:'Arial';font-size:8pt">If you need assistance please contact our Contact Center  (+7495) 258 0500 or go to <a href="http://www.troika.ru/eng/Contacts/system.wbp" target="_blank">www.troika.ru/eng/Contacts/<wbr>system.wbp</a>  </span></p>
<p><span style="font-family:'Arial';font-size:8pt"> </span></p></div>

</blockquote></div></blockquote></div></div>