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

Loïc Hoguin essen@REDACTED
Thu Aug 16 13:02:46 CEST 2012


Doh! Done.

On 08/16/2012 10:48 AM, Zabrane Mickael wrote:
> 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 <zabrane3@REDACTED
>> <mailto:zabrane3@REDACTED>> 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
>>     erlang-questions@REDACTED <mailto:erlang-questions@REDACTED>
>>     http://erlang.org/mailman/listinfo/erlang-questions
>>
>>
>>
>>
>> --
>> Max Treskin
>
>


-- 
Loïc Hoguin
Erlang Cowboy
Nine Nines
http://ninenines.eu



More information about the erlang-questions mailing list