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

[Mads T. <to...@it...>]

Dear Dave
Sounds plausible.
Best regards,
Mads


Dave Berry wrote:
> 
> 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.
> 
> _______________________________________________
> Sml-implementers mailing list
> Sml...@li...
> https://lists.sourceforge.net/lists/listinfo/sml-implementers