josefs/Gradualizer

No clause for gradualizer_lib:pick_value(module())

erszcz opened this issue · 2 comments

erszcz commented

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?