Damir Vandic

thoughts on supporting functions that return errors and handling pancis

1

What are your thoughts on adding support for getting errors back and thereby also handling panics, e.g., ``` // RunErr runs a function of type func() error in a new...

Fix counting type params in Result type

7

According to https://github.com/erlang/otp/issues/8533#issuecomment-2142485802 a disjunction does not count as being used twice: ```erlang -spec wibble(atom()) -> {ok, X} | {error, X}. ``` This PR changes the type parameter usage counting...

Add qualifiers for type variables in generated Erlang typespecs

16

Starting from OTP 26 erlang/otp#6915, warnings are emitted for unbound type variables, for example: ```erlang -spec try_call_timeout_test() -> {ok, GGA} ``` We need to replace this unbound type variable with...