<div dir="ltr">Take a look here: <a href="https://github.com/ekmett/trifecta/issues/41">https://github.com/ekmett/trifecta/issues/41</a></div><div class="gmail_extra"><br><div class="gmail_quote">On 24 January 2015 at 10:32, Robert Dodier <span dir="ltr"><<a href="mailto:robert.dodier@gmail.com" target="_blank">robert.dodier@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
I'm trying to install Idris.<br>
<br>
I am working on Ubuntu 14.04. ghc --version reports 7.6.3.<br>
<br>
After installing Haskell via apt-get, I then executed cabal update,<br>
which succeeded.<br>
<br>
I then tried cabal install idris and it eventually failed while<br>
trying to install trifecta.<br>
<br>
I then tried cabal install -v3 idris and got the following info<br>
about the trifecta problem, which I've appended to this message<br>
as a PS.<br>
<br>
Maybe I can patch Highlight.hs? How would I go about that?<br>
Unpack the tar.gz, patch the file, and repack it?<br>
<br>
For the record, I tried to follow the instructions at:<br>
<a href="https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Ubuntu" target="_blank">https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Ubuntu</a><br>
but ran into various errors, e.g., cabal install cabal-install<br>
failed with ExitFailure 139.<br>
<br>
Thanks for any advice.<br>
<br>
best,<br>
<br>
Robert Dodier<br>
<br>
PS. The tail end of the output of cabal install -v3 idris:<br>
<br>
[ 8 of 13] Compiling Text.Trifecta.Highlight (<br>
src/Text/Trifecta/Highlight.hs, dist/build/Text/Trifecta/Highlight.o )<br>
*** Parser:<br>
*** Renamer/typechecker:<br>
<br>
src/Text/Trifecta/Highlight.hs:46:15:<br>
    Ambiguous occurrence `Comment'<br>
    It could refer to either `Text.Blaze.Internal.Comment',<br>
                             imported from `Text.Blaze.Internal' at<br>
src/Text/Trifecta/Highlight.hs:35:1-26<br>
                          or `Text.Parser.Token.Highlight.Comment',<br>
                             imported from `Text.Parser.Token.Highlight' at<br>
src/Text/Trifecta/Highlight.hs:36:1-34<br>
Upsweep partially successful.<br>
*** Deleting temp files:<br>
Deleting: /tmp/ghc13030_0/ghc13030_0.s<br>
Warning: deleting non-existent /tmp/ghc13030_0/ghc13030_0.s<br>
link(batch): upsweep (partially) failed OR<br>
   Main.main not exported; not linking.<br>
*** Deleting temp files:<br>
Deleting: /tmp/ghc13030_0/ghc13030_0.hscpp<br>
*** Deleting temp dirs:<br>
Deleting: /tmp/ghc13030_0<br>
/usr/bin/ghc returned ExitFailure 1<br>
Failed to install trifecta-1.5<br>
World file is already up to date.<br>
cabal: Error: some packages failed to install:<br>
idris-0.9.16 depends on trifecta-1.5 which failed to install.<br>
trifecta-1.5 failed during the building phase. The exception was:<br>
ExitFailure 1<br>
<br>
<br>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div>Regards</div><div dir="ltr"><div><br></div><div>Sumit Sahrawat</div></div></div></div></div></div></div>
</div>