Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
Erlang Programming
Home
+ new post
About this group
Join this group
Dialyzer: how to ignore some warnings?
Options
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
   5 messages - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Zabrane Mickael  
View profile  
 More options Sep 12 2012, 9:59 am
From: Zabrane Mickael <zabra...@gmail.com>
Date: Wed, 12 Sep 2012 15:58:37 +0200
Local: Wed, Sep 12 2012 9:58 am
Subject: [erlang-questions] Dialyzer: how to ignore some warnings?
Print | Individual message | Show original | Report this message | Find messages by this author
Hi guys, Hi Kostis,

Dialyzer (R15B02, OSX 10.7.4) returns this:
pimco_net.erl:146: Call to missing or unexported function prim_inet:async_acceptor/2

Is there a way to tell Dialyzer to simply ignore this warning (and any other one coming from "prim_inet") ?
Thanks

Regards,
Zabrane

_______________________________________________
erlang-questions mailing list
erlang-questi...@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Stavros Aronis  
View profile  
 More options Sep 12 2012, 11:48 am
From: Stavros Aronis <aroniss...@gmail.com>
Date: Wed, 12 Sep 2012 08:48:18 -0700 (PDT)
Local: Wed, Sep 12 2012 11:48 am
Subject: Re: [erlang-questions] Dialyzer: how to ignore some warnings?
Print | Individual message | Show original | Report this message | Find messages by this author

Not really.

For the particular case, if I understand correctly, it used to be the case
that any functions that are implemented as NIFs have a stub in the .erl
source file that throws an exception (if that code was really executed
instead of the low level implementation). Is prim_inet:async_acceptor a NIF
without such a stub?

Regards,
Stavros

_______________________________________________
erlang-questions mailing list
erlang-questi...@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Zabrane Mickael  
View profile  
 More options Sep 12 2012, 12:04 pm
From: Zabrane Mickael <zabra...@gmail.com>
Date: Wed, 12 Sep 2012 18:03:28 +0200
Local: Wed, Sep 12 2012 12:03 pm
Subject: Re: [erlang-questions] Dialyzer: how to ignore some warnings?
Print | Individual message | Show original | Report this message | Find messages by this author

On Sep 12, 2012, at 5:48 PM, Stavros Aronis wrote:

> Not really.

> For the particular case, if I understand correctly, it used to be the case that any functions that are implemented as NIFs have a stub in the .erl source file that throws an exception (if that code was really executed instead of the low level implementation). Is prim_inet:async_acceptor a NIF without such a stub?

OTP guys?

Regards,
Zabrane

_______________________________________________
erlang-questions mailing list
erlang-questi...@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Lukas Larsson  
View profile  
 More options Sep 12 2012, 12:28 pm
From: Lukas Larsson <garazd...@gmail.com>
Date: Wed, 12 Sep 2012 18:28:03 +0200
Local: Wed, Sep 12 2012 12:28 pm
Subject: Re: [erlang-questions] Dialyzer: how to ignore some warnings?
Print | Individual message | Show original | Report this message | Find messages by this author
Have you misspelled prim_inet:async_accept/2 in the mail or also in the source?

Lukas

_______________________________________________
erlang-questions mailing list
erlang-questi...@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions

 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Zabrane Mickael  
View profile  
 More options Sep 12 2012, 12:49 pm
From: Zabrane Mickael <zabra...@gmail.com>
Date: Wed, 12 Sep 2012 18:48:23 +0200
Local: Wed, Sep 12 2012 12:48 pm
Subject: Re: [erlang-questions] Dialyzer: how to ignore some warnings?
Print | Individual message | Show original | Report this message | Find messages by this author
Good catch Lukas. You should read: prim_inet:async_accept/2

Regards,
Zabrane

On Sep 12, 2012, at 6:28 PM, Lukas Larsson wrote:

_______________________________________________
erlang-questions mailing list
erlang-questi...@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions

 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2013 Google