<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 4, 2019 at 2:56 PM Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<div lang="EN-GB">
<div class="gmail-m_3212956623128306863WordSection1">
<p class="MsoNormal" style="margin-left:36pt">Ah, so you installed the `cabal-install-3.0` package? <u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Yes I attached your repo and then said<u></u><u></u></p>
<p class="gmail-m_3212956623128306863Code">apt install cabal-install<u></u><u></u></p>
<p class="MsoNormal">and lo! cabal 3.0 appeared in /opt/cabal/bin</p></div></div></blockquote><div><br></div><div><br></div><div>Ok, so here's the weird thing... I don't have any "cabal-install" package in my PPA; I do however have a "cabal-install-3.0" package (i.e. the 3.0 is part of the version number, because I supply one package per major version of cabal).</div><div><br></div><div>So I'd expect you'd find something like</div><div><br></div><div><div>ii  cabal-install-3.0                             3.0+git20190317.1.b3d6d0b-6~16.04            amd64        Command-line interface for Cabal and Hackage</div></div><div><br></div><div>if you executed `dpkg -l | grep cabal-install`... (i.e. the "version" is that monstrous "3.0+git20190317.1.b3d6d0b-6~16.04"  thing)</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div lang="EN-GB"><div class="gmail-m_3212956623128306863WordSection1"><p class="MsoNormal"><br></p></div></div></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div lang="EN-GB"><div class="gmail-m_3212956623128306863WordSection1"><p class="MsoNormal"><u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal" style="margin-left:36pt">In the meantime you can just keep using your current cabal 3.0 exe; does `cabal --version` currently have any noticeable startup latency for you on WSL?</p></div></div></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div lang="EN-GB"><div class="gmail-m_3212956623128306863WordSection1"><p class="MsoNormal"> <u></u></p>
<p class="MsoNormal">No, no noticeable startup latency.</p></div></div></blockquote><div><br></div><div>Interesting. I'll investigate... maybe I'll be able to discontinue the WSL ppa at last... :-)</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div lang="EN-GB"><div class="gmail-m_3212956623128306863WordSection1"><div style="border-top:none;border-right:none;border-bottom:none;border-left:1.5pt solid blue;padding:0cm 0cm 0cm 4pt"><div><div><div><div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>

</blockquote></div></div></div></div></div></div>