David Pavlík

It actually builds well under OS X

Expansion of Application.compile_env/3 doesn't work with paths

3

First, thank you so much for the amazing ElixirLS and the underlying ElixirSense. ❤️ I really like the feature of inference of application env variables when using modules attributes, which...

Hi, thank you for making `brod`! We use it in our company and we really felt the absence of documentation for some of the aspects so I spent a few...

This affects links from ExDoc to the source code. The links are now broken as rebar3_ex_doc assumes that Git tags start with 'v'. Using master branch for links is not...

The documentation of `brod` is much nicer now when you use ExDoc (I love it!). I think it would be great if `kafka_protocol` used it as well. Aside from UI/UX,...

This is a neighbouring PR to a larger one I made to `brod`.

Support for rigid type variables

1

Hi! I had almost no time to work on the local type inference (#553) in the past months, but I finally found some time last week. After thinking about the...

Solving local constraints at each function call to a polymorphic function

6

Hi! I've read the [Local Type Inference](https://www.cis.upenn.edu/~bcpierce/papers/lti-toplas.pdf) paper by Pierce and Turner, and I came to an interesting realisation I would like to share. In the paper (mainly in chapter...

Add a few test cases

1

Discovered while testing Gradualizer on an Elixir repo.

### Environment * Elixir & Erlang versions (elixir --version): ``` Erlang/OTP 25 [erts-13.2] [source] [64-bit] [smp:4:4] [ds:4:4:10] [async-threads:1] [jit:ns] Elixir 1.14.3 (compiled with Erlang/OTP 25) ``` and ``` Erlang/OTP 26...