Isabell H.
Isabell H.
@RaimoNiskanen It seems that my intentional avoidance of subtyping in the EEP draft causes more problems than benefits. I used 'nested nominals' instead of 'subtyping', because I wanted to emphasize...
@zuiderkwast Yes, opaque types have always been type-checked by names in Dialyzer, just with more restrictions. Dialyzer assumes no knowledge about opaque's structure, does not consider subtyping, etc. That's why...
@RaimoNiskanen The examples `c/0` and `d/0` behaves as you described. For a nominal type `a() :: T` and a structural type `S`, `S` is a 'compatible structural type' of `a()`...
It works only with integers because this has the widest use case. `is_between/3` is here to prevent users from reinventing the wheel, which is chained comparison for integers, like `0
I don't have much preference about if we should `badarg` or return false when the first argument is not an integer. The argument order is historical, at least from what...
The new PR with the changed name `is_integer/3` is https://github.com/erlang/otp/pull/10276. Closing this one.
> Does this need an EEP? Yes. This implementation is for [EEP 73](https://github.com/erlang/eep/pull/65). It will go through the EEP process. The forum post for discussion is [here](https://erlangforums.com/t/eep-73-zip-generators/4072). > There's also...
> I know crossposting is bad; but i feel there are still more eyeballs here than in the forum. Q: why `&&` and not `;`? https://erlangforums.com/t/eep-73-zip-generators/4072 Pasted from the forum:...
Maybe my eyes are a bit too fresh, but I don't think Dialyzer's rule or warning makes sense in this case. The rule seems arbitrary, as it has nothing to...
> I don't see how the `tprof_SUITE:call_count_ad_hoc/1` failure could be caused by this change. Feels like a `net_kernel` tick event was also captured by the profiler. That test has been...