Rust's error messages can refer to multiple parts of code, and include increasing amounts of prose: https://blog.rust-lang.org/2016/08/10/Shape-of-errors-to-come.html looks promising!
miniblog.
Related Posts
I'm adding XML support for difftastic! Still needs some tweaking, but the initial results look promising.
XML is particularly fun because early academic research on tree-diffing focus on XML.
