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.
It includes the following user visible changes:
- Simple packaging system (see documentation)
--dumpcflag for displaying generated code
- 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 – 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.