<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>