<html 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;
panose-1:2 11 6 9 3 8 4 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
pre
{mso-style-priority:99;
mso-style-link:"HTML Preformatted Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";}
span.HTMLPreformattedChar
{mso-style-name:"HTML Preformatted Char";
mso-style-priority:99;
mso-style-link:"HTML Preformatted";
font-family:Consolas;}
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.EmailStyle24
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.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>
</head>
<body lang="EN-GB" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">Actually stack init fails as well.<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">Thorsten<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-top:solid #B5C4DF 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span style="font-size:12.0pt;color:black">From: </span></b><span style="font-size:12.0pt;color:black">Agda <agda-bounces@lists.chalmers.se> on behalf of "a.j.rouvoet" <a.j.rouvoet@gmail.com><br>
<b>Date: </b>Wednesday, 8 July 2020 at 11:32<br>
<b>To: </b>"agda@lists.chalmers.se" <agda@lists.chalmers.se><br>
<b>Subject: </b>Re: [Agda] Cabal hell again<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<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<o:p></o:p></p>
<div>
<p class="MsoNormal">On 7/8/20 12:30 PM, Carette, Jacques wrote:<o:p></o:p></p>
</div>
<blockquote style="margin-top:5.0pt;margin-bottom:5.0pt">
<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.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"> </span><o:p></o:p></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.</span><o:p></o:p></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">Jacques</span><o:p></o:p></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"> </span><o:p></o:p></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 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 href="mailto:agda@lists.chalmers.se"><agda@lists.chalmers.se></a><br>
<b>Subject:</b> [Agda] Cabal hell again</span><o:p></o:p></p>
</div>
</div>
<p class="MsoNormal"> <o:p></o:p></p>
<p class="p1"><span class="s1">I ended up in cabal hell again. What is the trick to get out of it?</span><o:p></o:p></p>
<p class="p1"><span class="s1"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">I did ghcup and I nuked .cabal but to no avail. What is going on?</span><o:p></o:p></p>
<p class="p1"><span class="s1"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">Thorsten</span><o:p></o:p></p>
<p class="p1"><span class="s1"> </span><o:p></o:p></p>
<p class="p1"><span class="s1"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">psztxa@IMAC-DGKYNHM5JV3X agda % which cabal</span><o:p></o:p></p>
<p class="p1"><span class="s1"><span lang="DE">/Users/psztxa/.ghcup/bin/cabal</span></span><o:p></o:p></p>
<p class="p1"><span class="s1"><span lang="DE">psztxa@IMAC-DGKYNHM5JV3X agda % ghc --version</span></span><o:p></o:p></p>
<p class="p1"><span class="s1">The Glorious Glasgow Haskell Compilation System, version 8.8.3</span><o:p></o:p></p>
<p class="p1"><span class="s1">psztxa@IMAC-DGKYNHM5JV3X agda % cabal --version</span><o:p></o:p></p>
<p class="p1"><span class="s1">cabal-install version 3.2.0.0</span><o:p></o:p></p>
<p class="p1"><span class="s1">compiled using version 3.2.0.0 of the Cabal library</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">psztxa@IMAC-DGKYNHM5JV3X agda % cabal update</span><o:p></o:p></p>
<p class="p1"><span class="s1">Downloading the latest package list from hackage.haskell.org</span><o:p></o:p></p>
<p class="p1"><span class="s1">To revert to previous state run:</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">cabal v2-update 'hackage.haskell.org,2020-07-08T08:22:29Z'</span><o:p></o:p></p>
<p class="p1"><span class="s1">psztxa@IMAC-DGKYNHM5JV3X agda % git pull</span><o:p></o:p></p>
<p class="p1"><span class="s1">Already up to date.</span><o:p></o:p></p>
<p class="p1"><span class="s1">psztxa@IMAC-DGKYNHM5JV3X agda % cabal install</span><o:p></o:p></p>
<p class="p1"><span class="s1">cabal: Could not resolve dependencies:</span><o:p></o:p></p>
<p class="p1"><span class="s1">[__0] trying: Agda-2.6.2 (user goal)</span><o:p></o:p></p>
<p class="p1"><span class="s1">[__1] trying: base-4.13.0.0/installed-4.13.0.0 (dependency of Agda)</span><o:p></o:p></p>
<p class="p1"><span class="s1">[__2] next goal: lib (user goal)</span><o:p></o:p></p>
<p class="p1"><span class="s1">[__2] rejecting: lib-1.3 (conflict: base==4.13.0.0/installed-4.13.0.0, lib =></span><o:p></o:p></p>
<p class="p1"><span class="s1">base>=4.8.0.0 && <4.13)</span><o:p></o:p></p>
<p class="p1"><span class="s1">[__2] fail (backjumping, conflict set: base, lib)</span><o:p></o:p></p>
<p class="p1"><span class="s1">After searching the rest of the dependency tree exhaustively, these were the</span><o:p></o:p></p>
<p class="p1"><span class="s1">goals I've had most trouble fulfilling: base, lib, Agda</span><o:p></o:p></p>
<p class="p1"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:windowtext;mso-fareast-language:EN-US"> </span><o:p></o:p></p>
<pre> <o:p></o:p></pre>
<pre> <o:p></o:p></pre>
<pre>This message and any attachment are intended solely for the addressee<o:p></o:p></pre>
<pre>and may contain confidential information. If you have received this<o:p></o:p></pre>
<pre>message in error, please contact the sender and delete the email and<o:p></o:p></pre>
<pre>attachment. <o:p></o:p></pre>
<pre> <o:p></o:p></pre>
<pre>Any views or opinions expressed by the author of this email do not<o:p></o:p></pre>
<pre>necessarily reflect the views of the University of Nottingham. Email<o:p></o:p></pre>
<pre>communications with the University of Nottingham may be monitored <o:p></o:p></pre>
<pre>where permitted by law.<o:p></o:p></pre>
<pre> <o:p></o:p></pre>
<pre> <o:p></o:p></pre>
<pre> <o:p></o:p></pre>
</div>
<p class="MsoNormal"><br>
<br>
<o:p></o:p></p>
<pre>_______________________________________________<o:p></o:p></pre>
<pre>Agda mailing list<o:p></o:p></pre>
<pre><a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><o:p></o:p></pre>
<pre><a href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a><o:p></o:p></pre>
</blockquote>
</div>
<PRE>
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.
Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.
</PRE></body>
</html>