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

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

Thanks Bob.  

Please could you give an example program that would be unsound?  I'd like
to understand where the problem occurs.  

At 21:01 07/09/2001, Robert Harper wrote:
>I intend the second interpretation.  The explicit raise is indistinguishable
>from the implicit raise caused by matching an expression against a refutable
>pattern.
>
>The issue has nothing whatsoever to do with "generating names", whatever
>those are.
>
>Bob