[Idris] Problems installing latest github version

[Cezar Ionescu]

Hi there,

Is anyone else experiencing difficulties installing the latest github
version? I get

Type checking ./prelude/list.idr
./prelude/list.idr:151:Can't convert between Int and prelude.nat.Nat
Type checking ./io.idr
io.idr:32:No such variable List
io.idr:32:No such variable ForeignTy
io.idr:39:No such variable List
io.idr:46:No such variable Foreign
Skipping ./prelude/fin.idr
Skipping ./prelude/monad.idr
Skipping ./prelude/applicative.idr
Skipping ./prelude/either.idr
Type checking ./prelude/vect.idr
./prelude/vect.idr:59:No such variable List
Skipping ./prelude/strings.idr
Skipping ./prelude/char.idr
Type checking ./prelude.idr
prelude.idr:51:No such variable List
Skipping ./system.idr
Type checking ./prelude/heap.idr
./prelude/heap.idr:103:No such variable List
Skipping ./prelude/complex.idr
Skipping ./network/cgi.idr
Skipping ./control/monad/identity.idr
Skipping ./control/monad/state.idr
Type checking ./checkall.idr
make: *** [check] Error 1
make: Leaving directory `/home/idris/src/Idris-dev/lib'
cabal: Error: some packages failed to install:
idris-0.9.3 failed during the building phase. The exception was:
ExitFailure 2

This on two different machines: a 64-bit Ubuntu, and a 32-bit Debian.

All I can say is: huh?

Thanks for any hints!

Best,
Cezar.

=================
Dr. Cezar Ionescu
Department of Transdisciplinary Concepts and Methods
Potsdam Institute for Climate Impact Research
Telegrafenberg A31
14473 Potsdam

Tel: ++49-(0)331-288-2558

[Edwin Brady]

I think I previously replied directly to Cezar rather than the list... this turns out to be the library not rebuilding properly. The 'Skipping' suggests it is a bug in the dependency checker.

If you get this problem, the easiest thing to do is a complete rebuild of the libraries with 'make relib', if you're using the git version. If you're using the hackage version, this should never happen!

I'll note the bug in the dependency checker.

Edwin.