This PR copies exception tracking from membrane into semantic-analysis, transposing as necessary to reflect the differing domain abstractions. (This was intended to have been done at the same time as #659, but got overlooked.)
Note that some details necessarily differ slightly; our Dom abstraction is a fair bit different, and in particular their ddie (which throws an exception) takes a String, while ours takes a val (as of #664), making ours more expressive, but more subtle as well.
I'm likely to push the modular abstract interpretation stuff to a future PR.
This PR copies exception tracking from membrane into semantic-analysis, transposing as necessary to reflect the differing domain abstractions. (This was intended to have been done at the same time as #659, but got overlooked.)
Note that some details necessarily differ slightly; our
Domabstraction is a fair bit different, and in particular theirddie(which throws an exception) takes aString, while ours takes aval(as of #664), making ours more expressive, but more subtle as well.I'm likely to push the modular abstract interpretation stuff to a future PR.