<div><div dir="auto">On Sat, 22 Dec 2018 at 8:01 PM, Oliver Charles wrote:</div><br></div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Sat, Dec 22, 2018 at 11:08 AM Anthony Clayden<br>
<<a href="mailto:anthony_clayden@clear.net.nz" target="_blank">anthony_clayden@clear.net.nz</a>> wrote:<br>
<br>
> So the paper's main motivation is wrt Trac #9670.<br>
<br>
Are you sure you mean #9670?<br></blockquote></div></div><div dir="auto">Oops. Thanks for the catch Oliver. That should be #9627. (One of the tickets to do with FunDeps and type improvement ends in 70 ;-)</div><div dir="auto"><br></div><div dir="auto">AntC</div>