Dear all,
Idris version 0.9.4 has been released on Hackage. To install, run "cabal update" and type "cabal install idris". This is primarily a bug fix release, to correct some teething problems with the new compiler back end.
* Improve overloading resolution (especially where this is a type error)
* Various important bug fixes with evaluation and compilation
* More aggressive compile-time evaluation
As always, please report any problems on the github issue tracker (https://github.com/edwinb/Idris-dev/issues) - I will catch up with what is on there eventually! Also, do let me know how you get on in general either via the mailing list or the #idris channel on irc.freenode.net.
On Sun, Oct 7, 2012 at 10:21 AM, Edwin Brady <edwin.br...@gmail.com> wrote:
> Dear all,
> Idris version 0.9.4 has been released on Hackage. To install, run "cabal
> update" and type "cabal install idris". This is primarily a bug fix
> release, to correct some teething problems with the new compiler back end.
> * Improve overloading resolution (especially where this is a type error)
> * Various important bug fixes with evaluation and compilation
> * More aggressive compile-time evaluation
> As always, please report any problems on the github issue tracker (
> https://github.com/edwinb/Idris-dev/issues) - I will catch up with what
> is on there eventually! Also, do let me know how you get on in general
> either via the mailing list or the #idris channel on irc.freenode.net.
> i get the error that "Could not find module `IRTS.CodegenJava'" when i do the hackage build, but building from current github head > works fine
> On Sun, Oct 7, 2012 at 10:21 AM, Edwin Brady <edwin.br...@gmail.com> wrote:
> Dear all,
> Idris version 0.9.4 has been released on Hackage. To install, run "cabal update" and type "cabal install idris". This is primarily a bug fix release, to correct some teething problems with the new compiler back end.
> * Improve overloading resolution (especially where this is a type error)
> * Various important bug fixes with evaluation and compilation
> * More aggressive compile-time evaluation
> As always, please report any problems on the github issue tracker (https://github.com/edwinb/Idris-dev/issues) - I will catch up with what is on there eventually! Also, do let me know how you get on in general either via the mailing list or the #idris channel on irc.freenode.net.
> i get the error that "Could not find module `IRTS.CodegenJava'" when i do the hackage build, but building from current github head > works fine
> On Sun, Oct 7, 2012 at 10:21 AM, Edwin Brady <edwin.br...@gmail.com> wrote:
> Dear all,
> Idris version 0.9.4 has been released on Hackage. To install, run "cabal update" and type "cabal install idris". This is primarily a bug fix release, to correct some teething problems with the new compiler back end.
> * Improve overloading resolution (especially where this is a type error)
> * Various important bug fixes with evaluation and compilation
> * More aggressive compile-time evaluation
> As always, please report any problems on the github issue tracker (https://github.com/edwinb/Idris-dev/issues) - I will catch up with what is on there eventually! Also, do let me know how you get on in general either via the mailing list or the #idris channel on irc.freenode.net.
