[erlang-questions] dialyzer and re(3)

Kostis Sagonas <>
Tue Nov 11 11:33:44 CET 2008


Paul Guyot wrote:
> Hello,
> 
> dialyzer does not know native functions of re(3) module and this makes  
> it impossible to check our code that now uses re:compile/2, unless we  
> remove re.beam from the plt.

I do not think you should worry about the above or take any action.  The 
fact that dialyzer does not know anything about some function of the re 
module in no way affects the correctness of the analysis.  It just means 
that dialyzer might not be able to detect all discrepancies involving re

Nothing to worry about...

Kostis



More information about the erlang-questions mailing list