Gradualizer icon indicating copy to clipboard operation
Gradualizer copied to clipboard

Published 20 hours ago • verified publisher icon josefs

No clause of gradualizer_lib:pick_value(any())

Open erszcz opened this issue 1 year ago • 2 comments

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

erszcz avatar May 08 '23 10:05 erszcz

Related to #530 and #536

erszcz avatar May 08 '23 10:05 erszcz

any() (the dynamic type) is tricky, since we don't know what type this instance of any() represents. It can be anything between none() and top() so we can't really pick a value.

I think the bug needs to be solved in some other way. We shouldn't need to pick a value of type any(). Actually, we can't say that a pattern is non-exhaustive when it comes to any().

zuiderkwast avatar May 08 '23 13:05 zuiderkwast