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 

Regards,

Sean

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe