[MLton] SXML Exceptions

Daniel Harvey dharvey@cc.gatech.edu
Thu, 1 Jun 2006 14:44:34 -0400 (EDT)


I'm having a hard time understanding how exceptions work in the SXML
phase. Specifically, can I get an explanation of the fields of
Raise of {exn: VarExp.t, extend: bool}?

My current understanding is that exceptions are declared in decs of an
Exp, and any Raise must occur in the try field of a Handle. I'm not sure
of the purpose of extend. Is this on the right track?