> As to the test case being invalid, isn't this clearly legal ML? Yeah, but SML/NJ gives Error on redundant matches and just a Warning on non-exhaustive matches.