Pkg.resolve() fails

It is not clear to me how resolve is supposed to work. Scenario: I have a package A it depends on package B There is a new version of package B In package A I increase the compat entry of package B to the new version. I type Pkg.resolve(). It fails because the old version is still in the manifest. Now I have to type add PackageB@<newversion> And all works fine. Is this an intended behaviour? Wouldn’t it be more logical if: either resolve just updates the manifest and succeeds or at l...