[erlang-questions] Intel Quad CPUs

[Kostis Sagonas]

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