Feb 27

Idris 0.9.2 released

Uncategorized Comments Off

A new version of Idris has been released on hackage. To install, run cabal update and type cabal install idris. To learn more, see the tutorial and FAQ. The tutorial has also been updated.

This version is mostly a bug fix release, with some minor additions to the language. The user visible changes are:

• backtick notation added: x `foo` y is equivalent to foo x y
• case expressions now allowed in type signatures
• Library extensions in prelude.vect, prelude.algebra and prelude.heap
• malloc and trace_malloc added to builtins, for low level memory management

The internal changes are:

• Some type class resolution fixes
• Performance improvements in resolving overloading and type classes
• Several minor bug fixes

There will no doubt be more bugs. As usual, if you find any, please do not hesitate to contact Edwin Brady (ecb10 at st-andrews dot ac dot uk).