[erlang-patches] Dialyzer Bug in 17.3: can not get core Erlang code
Henrik Nord
henrik@REDACTED
Thu Oct 9 09:26:38 CEST 2014
Thank you for your contribution.
We are currently investigating this issue.
I do not know at this moment if we are going to release a patch for this
or not.
On 2014-10-02 00:48, Michael Truog wrote:
> There is a problem in 17.3 when using the compile options to generate
> core Erlang source code. A patch for the problem is below. The
> problem with generate errors like "Could not get core Erlang code
> for:" for each file that was compiled with warnings_as_errors.
>
> diff --git a/lib/dialyzer/src/dialyzer_utils.erl
> b/lib/dialyzer/src/dialyzer_utils.erl
> index 4e2ec67..76fe645 100644
> --- a/lib/dialyzer/src/dialyzer_utils.erl
> +++ b/lib/dialyzer/src/dialyzer_utils.erl
> @@ -451,6 +451,9 @@ cleanup_compile_options([asm|Opts]) ->
> Opts;
> cleanup_compile_options([from_core|Opts]) ->
> Opts;
> +%% compile:forms/2 doesn't understand warnings_as_errors
> +cleanup_compile_options([warnings_as_errors|Opts]) ->
> + Opts;
> %% The parse transform will already have been applied, may cause
> problems if it
> %% is re-applied.
> cleanup_compile_options([{parse_transform, _}|Opts]) ->
> _______________________________________________
> erlang-patches mailing list
> erlang-patches@REDACTED
> http://erlang.org/mailman/listinfo/erlang-patches
--
/Henrik Nord Erlang/OTP
More information about the erlang-patches
mailing list