On Sun, Oct 11, 2015 at 4:09 AM, Dimitri DeFigueiredo wrote:
Can we write a "compiler-like" merge tool for Haskell?
Merge could be considered to be a combination of diff and patch. And so you might want to merge ASTs, which are typically families of datatypes. Related: Type-Safe Diff for Families of Dataypes: http://www.andres-loeh.de/gdiff-wgp.pdf