Re: semantics of isolate

I haven't heard a response from anyone... if someone knows how `isolate' 
works I don't think it should be too hard of a question. Thanks again,

Dave

Dave Herman wrote:
> Can someone help clarify SMLofNJ.Cont.isolate for me? IIUC, the 
> semantics of isolate is something along the lines of:
> 
>      v ::= ... | cont(E') (* captured continuation *)
> 
>      E[isolate \x.e] ---> E[cont(E')]
>          where E' = e[x := []]
> 
> and the semantics of throw is roughly:
> 
>      E[throw cont(E') v] ---> E'[v]
> 
> So effectively, `throw (isolate \().e) ()' should be equivalent to 
> `abort e', where
> 
>      E[abort e] ---> e
> 
> Yes?
> 
> Thanks,
> Dave
> 
> -------------------------------------------------------------------------
> Take Surveys. Earn Cash. Influence the Future of IT
> Join SourceForge.net's Techsay panel and you'll get the chance to share your
> opinions on IT & business topics through brief surveys-and earn cash
> http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV