<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<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]-->
</head>
<body lang="EN-CA" link="#0563C1" vlink="#954F72">
<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 <agda-bounces@lists.chalmers.se>
<b>On Behalf Of </b>Thorsten Altenkirch<br>
<b>Sent:</b> July 8, 2020 5:53 AM<br>
<b>To:</b> Agda mailing list <agda@lists.chalmers.se><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 lang="EN-GB" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:windowtext;mso-fareast-language:EN-US"><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>
</body>
</html>