[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Typed exceptions

> Does MrFlow do any analysis to track which exceptions can get raised?
> Francois Passaux wrote a tool, Ocamlexc, that does this for Ocaml.
> The paper abstracts say it uses a combination of effect system and
> flow-based analysis to do the exception analysis. It's quite neat --
> it can even connect each possible exception to a source location (it
> has a GUI browser program to automate this). From your description it
> sounds like you guys already have most of the necessary infrastructure
> in place to do something similar in DrScheme.

I don't think that's in place yet.  If an exception is raised within a
with-handlers, then the handler is lexically apparent.  That case should
be easy to handle with the current apparatus.  Otherwise, the exception
flows to the current exception handler, which may be who-knows-where.  I
think we'd need some added machinery a la Ocaml to track those flows.

-- Paul