case expressions/transfers

[Stephen Weeks]

> Yeah, but SML/NJ gives Error on redundant matches and just a Warning on
> non-exhaustive matches.

I have the following in my startup file, which makes SML/NJ follow the
Definition in this respect.

	      open Control
	      local
		 open MC
	      in
		 val () = bindNonExhaustiveWarn := true
		 val () = matchNonExhaustiveWarn := true
		 val () = matchNonExhaustiveError := false
		 val () = matchRedundantWarn := true
		 val () = matchRedundantError := false
	      end