[Sml-implementers] Could raise be non-expansive?

[Dave B. <da...@ta...>]

Am I right in thinking that the definition of non-expansive expressions
could be extended with "raise nexp", with no ill-effects?  I'm not
suggesting that such a minor change is worthwhile; I'm just curious.

Dave.