[erlang-questions] Report: sheriff + dialyzer = hard time for "parse_transform"

Zabrane Mickael <>
Thu Aug 16 10:48:52 CEST 2012


Hi Maxim,

You are right. Changing the following Makefile line fixed the problem:

dialyze:
ERL_LIBS=$(PWD)/deps $(DIALYZER) --src src --plt .sheriff_dialyzer.plt --no_native \
	[...]


Loïc, could you please push this into Sheriff (github)?

Regards,
Zabrane


On Aug 16, 2012, at 9:53 AM, Maxim Treskin wrote:

> Hi
> 
> Just add path to parse_trans library in ERL_LIBS before run Dialyzer
> 
> On 16 August 2012 06:15, Zabrane Mickael <> wrote:
> Hi Loïc,
> 
> > Don't think I ever tried to dialyze it, tests were good enough for that purpose. This sounds like a parse_trans error, but why would it only occur on dialyzing?
> 
> Yep for sure.
> 
> > Regardless dialyzer would work fine if operating on compiled files with debug enabled.
> 
> How can I check that (i.e test only from beams with debug enabled)?
> 
> Regards,
> Zabrane
> 
> _______________________________________________
> erlang-questions mailing list
> 
> http://erlang.org/mailman/listinfo/erlang-questions
> 
> 
> 
> -- 
> Max Treskin


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20120816/6f9a3850/attachment.html>


More information about the erlang-questions mailing list