3 ms·
Wow, that's cool. It even works for non-Bounded argument types, as in fn [0] = 0: Warning: Pattern match(es) are non-exhaustive In an equation for `f
by teaspoon 15y ago
Wow, that's cool. It even works for non-Bounded argument types, as in fn [0] = 0:
Warning: Pattern match(es) are non-exhaustive
In an equation for `fn':
Patterns not matched:
[]
#x : _ with #x `notElem` [0#]
0# : (_ : _)