-
Simon Peyton Jones authored
This usefully joins whenXOptM; there are probably lots of places we should use it! This patch does not use new new function at all; but it's preparing for an upcoming patch when I do use it.
6f050d9c
This usefully joins whenXOptM; there are probably lots of places we should use it! This patch does not use new new function at all; but it's preparing for an upcoming patch when I do use it.