From ffe5e42521aef4315be97f7baff2c7819fd79237 Mon Sep 17 00:00:00 2001 From: Guillaume Bour Date: Fri, 22 Jul 2016 10:43:16 +0200 Subject: Fix support for `not_valid` dialyzer error --- src/rebar_prv_dialyzer.erl | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/rebar_prv_dialyzer.erl') diff --git a/src/rebar_prv_dialyzer.erl b/src/rebar_prv_dialyzer.erl index 82d2d07..0376918 100644 --- a/src/rebar_prv_dialyzer.erl +++ b/src/rebar_prv_dialyzer.erl @@ -260,6 +260,9 @@ read_plt(_State, Plt) -> Result; {error, no_such_file} -> error; + {error, not_valid} -> + Error = io_lib:format("Could not read the PLT file ~p", [Plt]), + throw({dialyzer_error, Error}); {error, read_error} -> Error = io_lib:format("Could not read the PLT file ~p", [Plt]), throw({dialyzer_error, Error}) -- cgit v1.1 From b668329a9e7929f07f00d9a0647714690da4b4bd Mon Sep 17 00:00:00 2001 From: Guillaume Bour Date: Sat, 30 Jul 2016 13:42:00 +0200 Subject: Fix return error on `not_valid` to force .plt file regeneration --- src/rebar_prv_dialyzer.erl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/rebar_prv_dialyzer.erl') diff --git a/src/rebar_prv_dialyzer.erl b/src/rebar_prv_dialyzer.erl index 0376918..fc13de1 100644 --- a/src/rebar_prv_dialyzer.erl +++ b/src/rebar_prv_dialyzer.erl @@ -261,8 +261,7 @@ read_plt(_State, Plt) -> {error, no_such_file} -> error; {error, not_valid} -> - Error = io_lib:format("Could not read the PLT file ~p", [Plt]), - throw({dialyzer_error, Error}); + error; {error, read_error} -> Error = io_lib:format("Could not read the PLT file ~p", [Plt]), throw({dialyzer_error, Error}) -- cgit v1.1