exceptions and coercions

Stephen Weeks sweeks@wasabi.epr.com
Thu, 19 Aug 1999 15:02:33 -0700 (PDT)


> I've got a question about exceptions though.  Given
> 
>   let x = e1 in handle z => e2
>   in  e
> 
> I have the flow rule for exceptions being:
> 
>   F(x) >= F(last(e1)) and F(last(e)) >= F(last(e2))

I have no idea why the second rule isn't

F(x) >= F(last(e2))

x is obviously a join point of e1 and e2.

> However, our notes indicate the closure converted
> translation as being:
> 
>   let y1 = [e1]
>   in X(y1,F(last(e1)),F(last(x)))  
> 
>   handle z =>
> 
>      let y2 = [e2]
>      in X(y2,F(last(e2)),F(last(x)))

This jibes with what I wrote above.