Hi Anton,
I am sorry to inform you that in Dialyzer's case "the whole is greater that the sum (or even the merge) of it's parts"!
When Dialyzer analyzes a set of modules without a PLT, it assumes that a call to any external function will accept any term as an argument and return a value that can also be any term. Therefore each of these single-application-PLTs is going to be agnostic about calls to functions in all other applications. As a result, these PLTs will be missing the constraints that are imposed by these external calls and the information stored within will be less strict. In the end, when you merge all these PLTs, you will have a valid PLT, but it will also be less strict than the one you will get by analyzing all the applications together.
I am not sure if there is any proper use for your trick.
_______________________________________________
erlang-patches mailing list
[hidden email]
http://erlang.org/mailman/listinfo/erlang-patches
Locked
