[erlang-questions] Intel Quad CPUs

Kostis Sagonas <>
Tue Sep 4 17:23:37 CEST 2007


Taavi Talvik wrote:
> ... 
> However look at:
> 
> Convention for type notation
> 	http://www.erlang.org/doc/apps/edoc/part_frame.html
> 
> Tool for static verification using above notation
> 	http://www.erlang.org/doc/apps/dialyzer/index.html

This might be giving the wrong impression to some readers...

Currently, dialyzer does NOT use any edoc information for finding type 
clashes.

In fact, it most probably never will since we are designing a new 
language for describing type information which will not appear just in 
comments.

Kostis



More information about the erlang-questions mailing list