[erlang-questions] Intel Quad CPUs

Kostis Sagonas kostis@REDACTED
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 

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


More information about the erlang-questions mailing list