Eksperimental

Unclear cyclic dependency warning

4

Running Gradient in this project. https://github.com/eksperimental/beam_meta/tree/1de809c6266d9ee877354f8c2b6dd32adc7d4bf9 ``` lib/beam_meta/compatibility/otp_elixir.ex: The pattern %{version: elixir_version, version_requirement: elixir_requirement, otp_versions: otp_versions} on line 138 doesn't have the type any() lib/beam_meta/compatibility/otp_elixir.ex: The type spec bounded_fun((deep_list ->...

```elixir lib/ex_doc/language/elixir.ex: The function call on line 95 is expected to have type nonempty_list(A) but it has type string() 94 defp doc?({{_, name, _}, _, _, :none, _}, _type) do...

Improve message indicating Module.function_name/arity and positional argument

1

When having multiple function calls and arguments, it is hard to tell which one is bringing up the issue. As of now, i need to read the docs for both...

Code: https://github.com/eksperimental/ex_doc/blob/a5f02c1bb03651f4fa40f9fc56301d71a515e742/lib/ex_doc/formatter/epub.ex#L150-L152 ``` lib/ex_doc/formatter/epub.ex: The function call on line 151 is expected to have type binary() | maybe_improper_list(byte() | binary() | iolist(), [] | binary()) but it has type chars()...

The clause on line X cannot be reached

2

This is my project and commit https://github.com/eksperimental/beam_langs_meta_data/tree/26ecd958475bedd5c0e4204814e7437484acdff4 Error: > lib/beam_langs_meta_data.ex: The clause on line 395 cannot be reached https://github.com/eksperimental/beam_langs_meta_data/blob/26ecd958475bedd5c0e4204814e7437484acdff4/lib/beam_langs_meta_data.ex#L395 The line is reachable from IEx though

I think it should exit with `0`.

Elixir will warn when variables prefixed with underscore are used

3

```erlang underscore_variable() -> case 1 of x when is_atom(x) -> atom; _Other -> _Other end. ``` will transpile as ```elixir defp underscore_variable() do case (1) do :x when is_atom(:x) ->...

Variable scope

2

There is a variable scope issue. Elixir and Erlang treat them differently. ```erlang 1> case 1 of 1> 1 -> 1> {A, B} = {10, 20} 1> end. {10,20} 2>...

```erlang do(Term) -> do(Term, []). ``` will transpile as: ```elixir def unquote(:do)(term) do do(term, []) end ``` but Elixir will consider `do(` as a regular do, The solution is to...

https://github.com/elixir-lang/elixir/commit/d9a23d0d38ce1ada6583eca1c6ce6c861114fca7 No even v1.12 has been released yet, but I decided to create the issue in case you want to be prepared with time ```erlang deprecated() -> 9 bxor 3....