<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Oct 11, 2015 at 4:09 AM, Dimitri DeFigueiredo wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Can we write a "compiler-like" merge tool for Haskell?</blockquote></div><br>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: <a href="http://www.andres-loeh.de/gdiff-wgp.pdf">http://www.andres-loeh.de/gdiff-wgp.pdf</a> </div><div class="gmail_extra"><br></div><div class="gmail_extra">Regards,</div><div class="gmail_extra">Sean</div></div>