Re: Dialyzer Bug in 17.3: can not get core Erlang code
Michael Truog <[email protected]> Sun, 05 Oct 2014 12:24:04 -0700
| Newsgroups | gmane.comp.lang.erlang.patches |
|---|---|
| Message-ID | <[email protected]> |
On 10/05/2014 11:07 AM, Tuncer Ayaz wrote: > On Thu, Oct 2, 2014 at 12:48 AM, 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; > Hmm, maybe this should (also) be fixed in lib/compiler. > I wasn't sure if that was important or a long-standing problem which is part of the reason for the email, rather than doing a github pull request. The fix in dialyzer_utils makes sense due to the other compile options that are being ignored, so this was the minimal change required to get 17.3 dialyzer working. _______________________________________________ erlang-patches mailing list [email protected] http://erlang.org/mailman/listinfo/erlang-patches