[erlang-questions] clueless lfe + dialyzer question

Kostis Sagonas kostis@REDACTED
Wed Mar 26 01:48:49 CET 2008


Robert Virding wrote:
> If dializer were to use the standard LFE parser then producing line 
> numbers would be well nye impossible. I have a sligth fix in LFE when I 
> read a file and return a list of pairs {Form,LineNumber} so the compiler 
> can give some indication of where an error is. At least in which form it is.
> 
> If dializer were to use its own reader then it could tag everything with 
> a line number and so give much better info.

I am assuming the above refers to the dialyzer tool in the OTP distribution.

Dialyzer has no reader of its own. It works at the level of Core Erlang. 
If LFE, or for that matter whatever other source transformation tool, 
produces proper (Core) Erlang code annotated with line information then 
dialyzer will of course have this info.

Kostis



More information about the erlang-questions mailing list