John Högberg
John Högberg
This is unfortunate. `dialyzer` doesn't handle negation at the moment, and only handles simple cases of subtraction from unions opportunistically whenever the representation happens to allow it. Here, we have...
The error disappears as specs describe arguments upon _successful return_, not as they enter the function (see point 4 in the EEP draft). This means that `In`, and therefore `Data`,...
> @jhogberg Added new commit. I'm available for further changes, thank you. I think that covers it, I'll add it to our nightly builds as soon as it's squashed. :-)
> > > @jhogberg Added new commit. I'm available for further changes, thank you. > > > > > > I think that covers it, I'll add it to our...
Merged, thanks for the PR! :-)
> Or should it be a new term type that refers to an export entry? As per the current fun header definition: ```c /* Fun objects. * * These have...
We've discussed this internally, and though we didn't reach a final decision, we liked the proposal and agreed on the following: 1. It makes sense to be able to partially...
> @jhogberg one thing of note is that this new environment maps arguments to positions. They are still ordered, but they can have gaps, such as `fun foo:bar(_, arg1, _,...
Merged, thanks for the PR!
Thanks for your report, I've fixed it in https://github.com/erlang/otp/pull/10456