josefs / Gradualizer

A Gradual type system for Erlang

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

No clause for gradualizer_lib:pick_value(module())

erszcz opened this issue · comments

Related to #530.

module() is an alias for atom(). It doesn't make sense to add clauses for all aliases.

Can we add a catch-all that tries to normalize the type and, if it wasn't already normalized, calls pick_value on the normalized type?