<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
No, net is *not* planned to be removed!</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I was talking about the ifdef'ing, nothing else.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Regards,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
     /BMK</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Nalin Ranjan <ranjanified@gmail.com><br>
<b>Sent:</b> Wednesday, January 27, 2021 3:01 PM<br>
<b>To:</b> Nicolas Martyanoff <khaelin@gmail.com><br>
<b>Cc:</b> Micael Karlberg <micael.karlberg@ericsson.com>; Erlang-Questions Questions <erlang-questions@erlang.org><br>
<b>Subject:</b> Re: Type Specification of net:getnameinfo()</font>
<div> </div>
</div>
<div>
<div dir="ltr">For this particular function its a delegation to <a href="https://protect2.fireeye.com/v1/url?k=84aecd19-db35f434-84ae8d82-8692dc8284cb-c2634a3f89b46f21&q=1&e=b2b6d2f6-9676-43a2-901a-9a8708bb6c75&u=https%3A%2F%2Fgithub.com%2Ferlang%2Fotp%2Fblob%2Fmaster%2Ferts%2Fpreloaded%2Fsrc%2Fprim_net.erl%23L160">prim_net:getnameinfo/2</a>
 or erlang:error(notsup). Of course, apart from some argument match. 
<div><br>
</div>
<div>Interesting. </div>
<div><br>
</div>
<div>And Micael mentioned its destined to be removed in future. 😑<br>
<div><br>
</div>
<div><span style="color:rgb(207,203,196)">नमस्ते।</span><br style="color:rgb(207,203,196)">
<span style="color:rgb(207,203,196)">नलिन रंजन</span><br>
</div>
</div>
</div>
<br>
<div class="x_gmail_quote">
<div dir="ltr" class="x_gmail_attr">On Wed, Jan 27, 2021 at 9:13 AM Nalin Ranjan <<a href="mailto:ranjanified@gmail.com">ranjanified@gmail.com</a>> wrote:<br>
</div>
<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">
<div dir="auto">Thanks a lot Nicolas. 
<div dir="auto"><br>
</div>
<div dir="auto">Will go through, and then may be express my hunch that this is a way in which details are either leaking and/or is not sufficient at the level of a type spec. But who knows I endup correcting myself after a little follow up.<br>
<br>
<div dir="auto">नमस्ते।<br>
नलिन रंजन</div>
</div>
</div>
<br>
<div class="x_gmail_quote">
<div dir="ltr" class="x_gmail_attr">On Tue, Jan 26, 2021, 10:05 PM Nicolas Martyanoff <<a href="mailto:khaelin@gmail.com" target="_blank">khaelin@gmail.com</a>> wrote:<br>
</div>
<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">
On 2021-01-26 21:46, Nalin Ranjan wrote:<br>
> 2. In this particular case of type specification, the only difference is in<br>
> one of the parameters of the function. I was also wondering if we could<br>
> have used a union instead to write the same type spec, it would have been<br>
> simpler?<br>
> For example,<br>
> Instead of writing a type spec like this<br>
> <br>
> -ifdef(SOME_PRAGMA_CONDITION)<br>
>           SomeVar :: xxx_type().<br>
> -else<br>
>          SomeVar :: yyy_type().<br>
> <br>
> We could specify the same type spec as:<br>
>         SomeVar :: xxx_type() | yyy_type().<br>
> <br>
> Any reason we preferred the former over the latter?<br>
<br>
If Erlang is compiled without socket support, some types will not exist at<br>
all. Using the preprocessor[1] makes it possible to provide specifications<br>
with types which actually exist, with or without socket support.<br>
<br>
[1] <a href="https://protect2.fireeye.com/v1/url?k=7959406e-26c27943-795900f5-8692dc8284cb-69c47e0211b63af4&q=1&e=b2b6d2f6-9676-43a2-901a-9a8708bb6c75&u=https%3A%2F%2Ferlang.org%2Fdoc%2Freference_manual%2Fmacros.html" rel="noreferrer noreferrer" target="_blank">
https://erlang.org/doc/reference_manual/macros.html</a><br>
<br>
-- <br>
Nicolas Martyanoff<br>
<a href="https://protect2.fireeye.com/v1/url?k=602bedc6-3fb0d4eb-602bad5d-8692dc8284cb-93ab7630f8bbef4e&q=1&e=b2b6d2f6-9676-43a2-901a-9a8708bb6c75&u=http%3A%2F%2Fsnowsyn.net%2F" rel="noreferrer noreferrer" target="_blank">http://snowsyn.net</a><br>
<a href="mailto:khaelin@gmail.com" rel="noreferrer" target="_blank">khaelin@gmail.com</a><br>
</blockquote>
</div>
</blockquote>
</div>
</div>
</body>
</html>