Closed ghost closed 10 years ago
Are you using Cabal 1.18? If so, you can use a sandbox to install Idris:
mkdir idris-install
cd idris-install
cabal sandbox init
cabal install idris
.cabal-sandbox\bin\idris
I highly recommend this method of using Idris.
Also: my new laptop has a Windows partition on it. I could have a go at making a pre-compiled binary package of Idris for Windows possibly this Thursday, or this weekend - maybe using a hosted service like http://win-builds.org/.
Wonderful idea!
@puffnfresh : Thank you for your suggestion. I will do what you suggest as soon as it is available a version of Haskell Platform containing cabal 1.18.
@LeifW : Please, let me know when and where it will be available the package and how to download the file (in the Downloads section of the site does not seem to me that there are links to download the software).
I just tried to install idris. first just by doing:
cabal install idris
this resulted in
...
idris-0.9.14 depends on lens-4.2 which failed to install.
...
then I tried it again with:
cabal sandbox init
cabal install idris
now this happens:
src/Idris/ParseHelpers.hs:370:47:
No instance for (Show IState) arising from a use of `position'
Possible fix: add an instance declaration for (Show IState)
In the second argument of `liftM', namely `position'
In the expression: liftM ((+ 1) . fromIntegral . column) position
In an equation for `indent':
indent = liftM ((+ 1) . fromIntegral . column) position
Failed to install idris-0.9.14
cabal: Error: some packages failed to install:
idris-0.9.14 failed during the building phase. The exception was:
ExitFailure 1
I got the same issue.
src/Idris/ParseHelpers.hs:370:47:
No instance for (Show IState) arising from a use of `position'
Possible fix: add an instance declaration for (Show IState)
In the second argument of `liftM', namely `position'
In the expression: liftM ((+ 1) . fromIntegral . column) position
In an equation for `indent':
indent = liftM ((+ 1) . fromIntegral . column) position
Failed to install idris-0.9.14
cabal: Error: some packages failed to install:
idris-0.9.14 failed during the building phase. The exception was:
This issue was caused by a backwards-incompatible update to parsers
and trifecta
. I pushed a fix earlier today in f38b611.
Thanks for bringing it up!
I'd like to try Idris, but cabal does not install (too much packages would be broken, If you force the installation) .
I've Haskell Platform 2013.2 installed. I tried to install a later version of caba but i have had many problems with some packages.
See, for example: http://stackoverflow.com/questions/21800590/problems-with-cabal-install-cabal-install-in-windows
Microsoft Windows [Version 6.1.7601] Copyright (c) 2009 Microsoft Corporation. All rights reserved.
C:\Users\Alberto>cabal update Downloading the latest package list from hackage.haskell.org Note: there is a new version of cabal-install available. To upgrade, run: cabal install cabal-install
C:\Users\Alberto>cabal install idris Resolving dependencies... In order, the following would be installed: annotated-wl-pprint-0.5.3 (new package) ansi-terminal-0.6.1.1 (new package) ansi-wl-pprint-0.6.7.1 (new package) blaze-html-0.6.1.3 (new package) hashable-1.2.1.0 (new version) haskeline-0.7.1.2 (new package) language-java-0.2.6 (new package) scientific-0.2.0.2 (new version) attoparsec-0.11.2.1 (new version) css-text-0.1.2.1 (new package) tagsoup-0.13.1 (new package) unordered-containers-0.2.3.3 (new version) aeson-0.7.0.2 (new version) semigroups-0.12.2 (reinstall) changes: hashable-1.1.2.5 -> 1.2.1.0, unordered-containers-0.2.3.0 -> 0.2.3.3 charset-0.3.7 (new package) comonad-4.0.1 (new version) parsers-0.11 (new package) semigroupoids-4.0.1 (new version) bifunctors-4.1.1 (reinstall) changes: semigroupoids-4.0 -> 4.0.1 pointed-4.0 (reinstall) changes: comonad-4.0 -> 4.0.1, semigroupoids-4.0 -> 4.0.1 profunctors-4.0.3 (new version) free-4.6.1 (new package) keys-3.10 (new package) reducers-3.10.2 (new package) uniplate-1.6.12 (new package) vector-binary-instances-0.2.1.0 (new package) void-0.6.1 (reinstall) changes: hashable-1.1.2.5 -> 1.2.1.0 lens-4.1.2 (new version) trifecta-1.4.2 (new package) xml-1.3.13 (new package) xss-sanitize-0.3.5.2 (new package) cheapskate-0.1.0.1 (new package) idris-0.9.12 (new package) cabal: The following packages are likely to be broken by the reinstalls: lens-4.0 tables-0.4 lens-3.10.2 force-layout-0.3 diagrams-contrib-1.1.0.1 diagrams-1.0.0.1 diagrams-svg-1.0.1.1 diagrams-lib-1.0.1 diagrams-core-1.0.0.1 equational-reasoning-0.0.1.0 type-natural-0.0.6.0 sized-vector-1.2.0.0 bytes-0.13.0.1 log-domain-0.8.1 MemoTrie-0.6.1 vector-space-0.8.6 vector-space-points-0.1.3 active-0.1.0.10 semigroupoids-4.0 profunctors-4.0.2 monoid-extras-0.3.2.4 dual-tree-0.2.0.1 groupoids-4.0 hashable-extras-0.2 comonad-4.0 Use --force-reinstalls if you want to install anyway.