You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The most recent Haskell Platform comes with vector-0.11.0.0 installed, yet in the Idris cabal file, the dependency is marked as vector < 0.11. Changing the cabal file to vector < 0.12 manually, i am able to build against this new library version. How about it? :)
Cheers,
p.
The text was updated successfully, but these errors were encountered:
LeifW
added a commit
to LeifW/Idris-dev
that referenced
this issue
Oct 14, 2015
Hello,
The most recent Haskell Platform comes with vector-0.11.0.0 installed, yet in the Idris cabal file, the dependency is marked as
vector < 0.11
. Changing the cabal file tovector < 0.12
manually, i am able to build against this new library version. How about it? :)Cheers,
p.
The text was updated successfully, but these errors were encountered: