<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body dir="auto">
Yes thank you - I came to the same conclusion and installed a more recent version of ghost and it worked.
<div><br>
</div>
<div>I was confused because I was using the same version of ghc recently without problems but some changes triggered a reinstall of packages that didn’t compile anymore.</div>
<div><br>
</div>
<div>Sorry for missing the obvious.</div>
<div>Thorsten <br>
<br>
<div id="AppleMailSignature" dir="ltr">Sent from my iPhone</div>
<div dir="ltr"><br>
On 24 May 2019, at 08:34, Liang-Ting Chen <<a href="mailto:liang.ting.chen.tw@gmail.com">liang.ting.chen.tw@gmail.com</a>> wrote:<br>
<br>
</div>
<blockquote type="cite">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">Hi Thorsten,
<div><br>
</div>
<div>It seems that there is a bug in GHC 8.0.? hit by the recent commits as there is also another issue on GitHub</div>
<div><br>
</div>
<div><a href="https://github.com/agda/agda/issues/3792" target="_blank">https://github.com/agda/agda/issues/3792</a></div>
<div><br>
</div>
<div>when Agda is compiled with 8.0.2. </div>
<div><br>
</div>
<div>I have compiled successfully the latest Agda with GHC 8.6.5 using stack on a macOS 10.14.4. Hope this helps. </div>
<div><br>
</div>
<div>Best regards,</div>
<div>Liang-Ting </div>
</div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Wed, 22 May 2019 at 16:30, Thorsten Altenkirch <<a href="mailto:Thorsten.Altenkirch@nottingham.ac.uk">Thorsten.Altenkirch@nottingham.ac.uk</a>> wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
<div lang="EN-GB">
<div class="gmail-m_1646465297996760411WordSection1">
<p class="MsoNormal"><span style="font-size:11pt">Hi guys,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">Has anybody encountered a problem installing agda in the moment? Cabal install fails with some error messages to do with template Haskell. First it says<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411s1">Use --force-reinstalls if you want to install anyway.</span><u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">But when I do it it runs into an error
<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411s1">Building geniplate-mirror-0.7.6...</span><u></u><u></u></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411s1">Preprocessing library geniplate-mirror-0.7.6...</span><u></u><u></u></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411s1">[1 of 1] Compiling Data.Generics.Geniplate ( Data/Generics/Geniplate.hs, dist/dist-sandbox-d9c30c4b/build/Data/Generics/Geniplate.o )</span><u></u><u></u></p>
<p class="gmail-m_1646465297996760411p2"><u></u> <u></u></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411s1">Data/Generics/Geniplate.hs:264:33: error:</span><u></u><u></u></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411apple-converted-space">
</span><span class="gmail-m_1646465297996760411s1">• Can't find interface-file declaration for type constructor or class Language.Haskell.TH.Lib.ExpQ</span><u></u><u></u></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411apple-converted-space">
</span><span class="gmail-m_1646465297996760411s1">Probable cause: bug in .hi-boot file, or inconsistent .hi file</span><u></u><u></u></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411apple-converted-space">
</span><span class="gmail-m_1646465297996760411s1">Use -ddump-if-trace to get an idea of which file caused the error</span><u></u><u></u></p>
<p class="gmail-m_1646465297996760411p2"><span class="gmail-m_1646465297996760411apple-converted-space"> </span><u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:11pt">…<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">I am using <u></u><u></u></span></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411s1">sean:agda txa$ ghc --version</span><u></u><u></u></p>
<p class="gmail-m_1646465297996760411p1"><span class="gmail-m_1646465297996760411s1">The Glorious Glasgow Haskell Compilation System, version 8.0.1</span><u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:11pt">on a mac and the latest version of the agda repo.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">I attach a dump from the terminal. I tried this on 2 different machines.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">Thorsten<u></u><u></u></span></p>
</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>
</div>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote>
</div>
<br clear="all">
<div><br>
</div>
-- <br>
<div dir="ltr" class="gmail_signature">
<div dir="ltr">
<div>
<div dir="ltr">
<div dir="ltr">
<div>Best regards,<br>
</div>
Liang-Ting</div>
</div>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<blockquote type="cite">
<div dir="ltr"><span>_______________________________________________</span><br>
<span>Agda mailing list</span><br>
<span><a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a></span><br>
<span><a href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a></span><br>
</div>
</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>