<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Feb 26, 2015 at 9:14 PM, Roman Cheplyaka <span dir="ltr"><<a href="mailto:roma@ro-che.info" target="_blank">roma@ro-che.info</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":240" class="a3s" style="overflow:hidden">I don't think frozen-base by itself is enough to achieve the goal of<br>
compiling n-year-old code without modifications.<br></div></blockquote><div><br></div><div>I second Joachim's concerns about stability. While not completely au fait with the technicalities of frozen-base, it does seem to me that something more is needed.<br><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":240" class="a3s" style="overflow:hidden">
<br>
Just a couple of examples that jump to mind:<br>
<br>
- the recent change to require extensions for <span class="il">inferred</span> <span class="il">types</span><br></div></blockquote><div><br></div><div>I did a search on ghc tickets and while a few seems to fit the bill, I don't know what this refers to.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":240" class="a3s" style="overflow:hidden">
- AMP (e.g. your code had a monad defined without an applicative instance)</div></blockquote></div><br></div><div class="gmail_extra">As a first pass, punt on this? <br></div><div class="gmail_extra"><br><br clear="all"><div><div class="gmail_signature">-- Kim-Ee</div></div>
</div></div>