search

josefs / Gradualizer

A Gradual type system for Erlang
MIT License
609 stars 35 forks source link

Add `apps` option to rebar3 commands #538

Closed gonzalobf closed 1 year ago

gonzalobf commented 1 year ago

This option allows to specify a list of apps where to run the type check. The list can be specify when running the command or in rebar.config.

This option can be really handy when trying to integrate Gradualizer on big umbrella project. If the project contains a lot of errors, it is possible to enable the type check app by app and fix the errors incrementally.

erszcz commented 1 year ago

Hi, @gonzalobf!

Thanks for the PR - it's a great idea! The CI is almost good, the only non-passing check is Gradualizer itself. Could you take a look at it?

These errors:

ebin/rebar_prv_gradualizer.beam: Undefined remote type rebar_state:t/0 on line 40 at column 9
...

are ignored in https://github.com/josefs/Gradualizer/blob/master/gradualize-ignore.lst - since the line numbers have changed, this file also has to be updated.

gonzalobf commented 1 year ago

@erszcz Thank you. I think I have fixed the tests. Could you please run the workflow?

erszcz commented 1 year ago

Looks good to me, great stuff!