Created
January 20, 2015 20:00
-
-
Save kjnilsson/0e9a8c00c8ded89f538e to your computer and use it in GitHub Desktop.
idris failed install
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Failed to install trifecta-1.5 | |
Build log ( /Users/karlnilsson/.cabal/logs/trifecta-1.5.log ): | |
[1 of 1] Compiling Main ( /var/folders/0_/18mv6y610d39ql2lyl5gtr_80000gn/T/trifecta-1.5-12709/trifecta-1.5/dist/setup/setup.hs, /var/folders/0_/18mv6y610d39ql2lyl5gtr_80000gn/T/trifecta-1.5-12709/trifecta-1.5/dist/setup/Main.o ) | |
Linking /var/folders/0_/18mv6y610d39ql2lyl5gtr_80000gn/T/trifecta-1.5-12709/trifecta-1.5/dist/setup/setup ... | |
Configuring trifecta-1.5... | |
Building trifecta-1.5... | |
Preprocessing library trifecta-1.5... | |
[ 1 of 13] Compiling Text.Trifecta.Util.Array ( src/Text/Trifecta/Util/Array.hs, dist/build/Text/Trifecta/Util/Array.o ) | |
[ 2 of 13] Compiling Text.Trifecta.Util.Combinators ( src/Text/Trifecta/Util/Combinators.hs, dist/build/Text/Trifecta/Util/Combinators.o ) | |
[ 3 of 13] Compiling Text.Trifecta.Util.IntervalMap ( src/Text/Trifecta/Util/IntervalMap.hs, dist/build/Text/Trifecta/Util/IntervalMap.o ) | |
[ 4 of 13] Compiling Text.Trifecta.Instances ( src/Text/Trifecta/Instances.hs, dist/build/Text/Trifecta/Instances.o ) | |
[ 5 of 13] Compiling Text.Trifecta.Delta ( src/Text/Trifecta/Delta.hs, dist/build/Text/Trifecta/Delta.o ) | |
[ 6 of 13] Compiling Text.Trifecta.Rope ( src/Text/Trifecta/Rope.hs, dist/build/Text/Trifecta/Rope.o ) | |
[ 7 of 13] Compiling Text.Trifecta.Util.It ( src/Text/Trifecta/Util/It.hs, dist/build/Text/Trifecta/Util/It.o ) | |
[ 8 of 13] Compiling Text.Trifecta.Highlight ( src/Text/Trifecta/Highlight.hs, dist/build/Text/Trifecta/Highlight.o ) | |
src/Text/Trifecta/Highlight.hs:46:15: | |
Ambiguous occurrence ‘Comment’ | |
It could refer to either ‘Text.Blaze.Internal.Comment’, | |
imported from ‘Text.Blaze.Internal’ at src/Text/Trifecta/Highlight.hs:35:1-26 | |
or ‘Text.Parser.Token.Highlight.Comment’, | |
imported from ‘Text.Parser.Token.Highlight’ at src/Text/Trifecta/Highlight.hs:36:1-34 | |
cabal: Error: some packages failed to install: | |
idris-0.9.16 depends on trifecta-1.5 which failed to install. | |
trifecta-1.5 failed during the building phase. The exception was: | |
ExitFailure 1 |
Looks like there's a fix in for this here:
But not sure how to get that latest version with cabal etc.
Ventured into #idris irc, and Melvar suggested this:
cabal install idris --constraint='blaze-markup < 0.6.3'
Which did the trick!
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Yep that's exactly the same error I'm getting, tried compiling on my native Mac, and Ubuntu VM, and Debian Jessie Docker container.
Any joy with a resolution?