search

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer
https://dwango.github.io/fialyzer/
Apache License 2.0
56 stars 8 forks source link

Patch for issue275 #276

Closed yuezato closed 5 years ago

yuezato commented 5 years ago

Motivation

See issue #275 .

Effect

Applying this PR, we can do the following:

% fialyzer --src prog1.erl
...
% fialyzer --src prog2.erl prog3.erl

However, at this time, we do not permit the following form where there are both erlang and beam files:

% fialyzer --src prog1.erl prog2.beam

Implementation

  1. Make a temporary directory (we call this X)
  2. Compile given erlang files and move obtained beam files to X
  3. pass the beam files in X to the main process of the current Fialyzer.