<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>One way to avoid cabal hell is to use the stack build, which in
      my experience does a better job to keep things isolated.<br>
      <br>
      Arjen<br>
    </p>
    <div class="moz-cite-prefix">On 7/8/20 12:30 PM, Carette, Jacques
      wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:YTBPR01MB3662E41E4D0BE6DB5C8D556EB4670@YTBPR01MB3662.CANPRD01.PROD.OUTLOOK.COM">
      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
      <meta name="Generator" content="Microsoft Word 15 (filtered
        medium)">
      <style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Consolas;
        panose-1:2 11 6 9 2 2 4 3 2 4;}
@font-face
        {font-family:Menlo;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;}
pre
        {mso-style-priority:99;
        mso-style-link:"HTML Preformatted Char";
        margin:0cm;
        margin-bottom:.0001pt;
        font-size:10.0pt;
        font-family:"Courier New";}
p.p1, li.p1, div.p1
        {mso-style-name:p1;
        margin:0cm;
        margin-bottom:.0001pt;
        font-size:10.0pt;
        font-family:Menlo;
        color:black;}
span.s1
        {mso-style-name:s1;}
span.apple-converted-space
        {mso-style-name:apple-converted-space;}
span.HTMLPreformattedChar
        {mso-style-name:"HTML Preformatted Char";
        mso-style-priority:99;
        mso-style-link:"HTML Preformatted";
        font-family:Consolas;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
      <div class="WordSection1">
        <p class="MsoNormal"><span style="mso-fareast-language:EN-US">The
            last time this happened to me, there were in fact 2 versions
            of cabal on my machine – and the one that my shell picked
            and the one that the build scripts picked up were not the
            same. And because of local vs global package caches, things
            got into complete hell.<o:p></o:p></span></p>
        <p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
        <p class="MsoNormal"><span style="mso-fareast-language:EN-US">Once
            I removed the no-longer-wanted extra copy of cabal and all
            its droppings, things worked again.<o:p></o:p></span></p>
        <p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
        <p class="MsoNormal"><span style="mso-fareast-language:EN-US">Jacques<o:p></o:p></span></p>
        <p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
        <div style="border:none;border-left:solid blue 1.5pt;padding:0cm
          0cm 0cm 4.0pt">
          <div>
            <div style="border:none;border-top:solid #E1E1E1
              1.0pt;padding:3.0pt 0cm 0cm 0cm">
              <p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span
                  lang="EN-US"> Agda
                  <a class="moz-txt-link-rfc2396E" href="mailto:agda-bounces@lists.chalmers.se"><agda-bounces@lists.chalmers.se></a>
                  <b>On Behalf Of </b>Thorsten Altenkirch<br>
                  <b>Sent:</b> July 8, 2020 5:53 AM<br>
                  <b>To:</b> Agda mailing list
                  <a class="moz-txt-link-rfc2396E" href="mailto:agda@lists.chalmers.se"><agda@lists.chalmers.se></a><br>
                  <b>Subject:</b> [Agda] Cabal hell again<o:p></o:p></span></p>
            </div>
          </div>
          <p class="MsoNormal"><o:p> </o:p></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">I ended up
                in cabal hell again. What is the trick to get out of it?<o:p></o:p></span></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB"><o:p> </o:p></span></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">I did ghcup
                and I nuked .cabal but to no avail. What is going on?<o:p></o:p></span></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB"><o:p> </o:p></span></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">Thorsten<o:p></o:p></span></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB"><o:p> </o:p></span></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB"><o:p> </o:p></span></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">psztxa@IMAC-DGKYNHM5JV3X
                agda % which cabal</span></span><o:p></o:p></p>
          <p class="p1"><span class="s1"><span lang="DE">/Users/psztxa/.ghcup/bin/cabal</span></span><span
              lang="DE"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="DE">psztxa@IMAC-DGKYNHM5JV3X
                agda % ghc --version</span></span><span lang="DE"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">The Glorious
                Glasgow Haskell Compilation System, version 8.8.3</span></span><span
              lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">psztxa@IMAC-DGKYNHM5JV3X
                agda % cabal --version</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">cabal-install
                version 3.2.0.0</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">compiled
                using version 3.2.0.0 of the Cabal library</span></span><span
              class="apple-converted-space"><span lang="EN-GB"> </span></span><span
              lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">psztxa@IMAC-DGKYNHM5JV3X
                agda % cabal update</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">Downloading
                the latest package list from hackage.haskell.org</span></span><span
              lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">To revert to
                previous state run:</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="apple-converted-space"><span
                lang="EN-GB">    </span></span><span class="s1"><span
                lang="EN-GB">cabal v2-update
                'hackage.haskell.org,2020-07-08T08:22:29Z'</span></span><span
              lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">psztxa@IMAC-DGKYNHM5JV3X
                agda % git pull</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">Already up
                to date.</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">psztxa@IMAC-DGKYNHM5JV3X
                agda % cabal install</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">cabal: Could
                not resolve dependencies:</span></span><span
              lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">[__0]
                trying: Agda-2.6.2 (user goal)</span></span><span
              lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">[__1]
                trying: base-4.13.0.0/installed-4.13.0.0 (dependency of
                Agda)</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">[__2] next
                goal: lib (user goal)</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">[__2]
                rejecting: lib-1.3 (conflict:
                base==4.13.0.0/installed-4.13.0.0, lib =></span></span><span
              lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">base>=4.8.0.0
                && <4.13)</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">[__2] fail
                (backjumping, conflict set: base, lib)</span></span><span
              lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">After
                searching the rest of the dependency tree exhaustively,
                these were the</span></span><span lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span class="s1"><span lang="EN-GB">goals I've
                had most trouble fulfilling: base, lib, Agda</span></span><span
              lang="EN-GB"><o:p></o:p></span></p>
          <p class="p1"><span
style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:windowtext;mso-fareast-language:EN-US"
              lang="EN-GB"><o:p> </o:p></span></p>
          <pre><span lang="EN-GB"><o:p> </o:p></span></pre>
          <pre><span lang="EN-GB"><o:p> </o:p></span></pre>
          <pre><span lang="EN-GB">This message and any attachment are intended solely for the addressee<o:p></o:p></span></pre>
          <pre><span lang="EN-GB">and may contain confidential information. If you have received this<o:p></o:p></span></pre>
          <pre><span lang="EN-GB">message in error, please contact the sender and delete the email and<o:p></o:p></span></pre>
          <pre><span lang="EN-GB">attachment. <o:p></o:p></span></pre>
          <pre><span lang="EN-GB"><o:p> </o:p></span></pre>
          <pre><span lang="EN-GB">Any views or opinions expressed by the author of this email do not<o:p></o:p></span></pre>
          <pre><span lang="EN-GB">necessarily reflect the views of the University of Nottingham. Email<o:p></o:p></span></pre>
          <pre><span lang="EN-GB">communications with the University of Nottingham may be monitored <o:p></o:p></span></pre>
          <pre><span lang="EN-GB">where permitted by law.<o:p></o:p></span></pre>
          <pre><span lang="EN-GB"><o:p> </o:p></span></pre>
          <pre><span lang="EN-GB"><o:p> </o:p></span></pre>
          <pre><span lang="EN-GB"><o:p> </o:p></span></pre>
        </div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <pre class="moz-quote-pre" wrap="">_______________________________________________
Agda mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
    </blockquote>
  </body>
</html>