[erlang-questions] Intel Quad CPUs

Kirill Zaborski <>
Tue Sep 4 17:50:34 CEST 2007


On 9/4/07, Kostis Sagonas <> wrote:
>
> 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.


And that language will be not compatible with edoc?
Maybe its better to combine them (edoc and your language)?
Or I will have to write 2 different lines of comments describing the same
types?

Best regards,
Kirill.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20070904/43428bc0/attachment.html>


More information about the erlang-questions mailing list