search

josefs / Gradualizer

A Gradual type system for Erlang
MIT License
613 stars 35 forks source link

No clause for gradualizer_lib:pick_value(module()) #536

Open erszcz opened 1 year ago

erszcz commented 1 year ago

Clone of https://github.com/esl/gradient/issues/169.

erszcz commented 1 year ago

Related to #530.

zuiderkwast commented 1 year ago

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?