CLI flag to define/override specs

[josefs]

CLI flag to define/override specs

[zuiderkwast]

Hm.. I don't know. Do you check your beam files or your erl files? The beam files (compiled with debug_info) should contain the AST after parse transform. The erl files contain the code before parse transform.

It is possible to inform gradualizer about such functions, or override specs with other specs, by loading a module with spec declarations such as -spec lager:debug(_, _) -> ok. using the gradualizer_db functions import_module/1, import_erl_files/1 and import_beam_files/1. These are internal but you can use them to check if it solves the problem. We should add an option to include such files for the cli command and for the gradualizer:type_check_* functions where options are used.

[erszcz]

I've finally had time to check this. Indeed, typechecking .beam files works without an issue:

$ cat src/lager_tracing.erl
-module(lager_tracing).

-compile([export_all]).

-include_lib("lager/include/lager.hrl").

log_event_with_tag() ->
    lager:warning([{tag, true}], "warning with tag ~p", ["{tag, true}"]).

log_event_no_tag() ->
    lager:warning("warning without tags", []).

$ gradualizer src/lager_tracing.erl
src/lager_tracing.erl: Call to undefined function lager:warning/3 on line 8
src/lager_tracing.erl: Call to undefined function lager:warning/2 on line 11

$ gradualizer -pa _build/default/lib/lager/ebin _build/default/lib/lager_tracing/ebin/lager_tracing.beam
$

So does importing spec stubs with gradualizer_db.

I think the CLI flag would be a huge plus. Thanks for the response. I'll leave this issue open for you to decide if it's a good reminder for the flag feature or should just be closed.

[zuiderkwast]

Thanks for verifying this!

[josefs]

I think it would make sense to have a CLI flag in the long term. But given that we have a work-around that works well I don't consider it a high priority.

[erszcz]

For the record, it's been a while since I created this issue and it turns out the original problem - false warnings about lager - is now easily solvable.

The --specs_override_dir fits the purpose of overriding specs. Used together with the following lager.specs.erl file, the Lager warnings are gone:

-module(lager).

-spec lager:debug(string(), list()) -> ok.
-spec lager:info(string(), list()) -> ok.
-spec lager:warning(string(), list()) -> ok.
-spec lager:error(string(), list()) -> ok.
-spec lager:critical(string(), list()) -> ok.

Since I use Vim, I made the Neomake gradualizer maker (https://github.com/erszcz/neomake/tree/erlang-gradualizer-wip @ 285c6232) use --specs_override_dir. Coupled together with a project-local .vimrc:

let g:neomake_erlang_gradualizer_specs_override_dir = '/Users/erszcz/work/my_project/priv/gradualizer_overrides'

the warnings are gone for the whole project. Works great!

I'm closing the issue, since there's a CLI flag now, and the original problem is solved.