Manuel Bärenz

Unfortunately I had broken this example: ```elixir defmodule Foo do @spec bar(any()) :: [:foo] def bar(_) do Enum.map([:foo], fn x -> x end) end end ``` Fixed now.

When I inline `t`, it works: ```elixir defmodule Foo do @spec mylength([term()]) :: integer() def mylength(_) do 23 end end ``` ``` $ mix type ✅ Foo.mylength/1 ```

The issue is probably in the handling of local types: https://github.com/gyson/ex_type/blob/b23a0d9e7d70760e3eb46c73695554e99470d08e/lib/ex_type/typespec.ex#L614 There, the type variable is evaluated to `%Any{}`, but it should really be a `%SpecVariable{}` "applied" to `%Any{}`! In...

Here is a more sensible program that works as intended and shows the same error: ```elixir defmodule Foo do defmodule Bar do @enforce_keys [:bar] defstruct @enforce_keys @type t(bar) :: %Bar{...

For quick reference: https://hackage.haskell.org/package/simplexmq In theory, it should contain the terminal executable.

https://github.com/simplex-chat/simplex-chat/releases contains version 5.3.0, while hackage is still on 1.1.0, it seems.

See https://github.com/simplex-chat/simplexmq/issues/731, this is probably the right issue.

> "Shepherd" is maybe a better term for the concept. That, or maybe it's closer to the role of an assignee than a reviewer. That role even exists in Github...

I'd like to participate with d=7 and l=3. This is exciting!

> > Perhaps might be a good idea to limit reviewers based on the attributes of PRs > > Maybe, at some point in the future. I'm not entirely sure...