Nelson Vides
Nelson Vides
Trying to solve https://github.com/josefs/Gradualizer/issues/199 by checking that `binary` is a subtype of the expected result type of the binary comprehension.
How comes that this doesn't pass? ```erlang -type name() :: atom() | string(). -spec with_guards(name()) -> list(). with_guards(Name) when is_atom(Name) -> "pass_" ++ erlang:atom_to_list(Name); with_guards(Name) when is_list(Name) -> Name. ```...
```erlang -spec iodata_binary() -> iodata(). iodata_binary() -> `The binary comprehension on line 7 at column 5 is expected to have type iodata() which has no binary subtypes` Which is pretty...
If the proxy header was not to match (like, the header not being sent), cowboy libraries were expecting really strict matching and then crashing the proc_lib with a badmatch, that...
This PR prepares the backbone of this effort. I define here the interface for the new `mongoose_c2s` in a way that I'm confident allows implementing everything else (presences, roster, stream...
The goal here is four-fold: move the c2s implementation to `gen_statem`, implement the _latest_ XMPP RFC, unify `ejabberd_c2s` and `ejabberd_receiver` and use ranch instead of `mongoose_tcp_listener`. The reasonale is ample,...
Apparently there's new circleci images for postgres and mysql, that as usual they promise to always have cached in all their nodes so it "should all be faster and more...
This is a feature branch for the new `mongoose_c2s` prototype. The goal is to have all of CI re-enabled and green. Pending are things that were partially inside of the...