26 Jan
2023
26 Jan
'23
12:24 a.m.
Hi David,
It seems to me that instead of working around this, we should add a pragma to suppress the warning at the pattern site. Maybe something like
let {-# PARTIAL_MATCH #-} Just a = blah blah
That way GHC can see that you noticed the partial match and that you're okay with it.
This sounds lovely to me! --Kazu