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

Re: Typed exceptions

Paul Steckler writes:
> MrFlow, the forthcoming successor to MrSpidey, uses type for
> primitives to guide its analysis.  The assumption is that type
> schemes represent truly parametric-polymorphic functions, so that
> information from a type variable in negative position flows to the
> same type variable in positive position.  So info could flow from
> your x and y on the left to the x+y on the right.

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.

Neel Krishnaswami