New release, idris 0.9.3

[Edwin Brady]

Hi all,
I've just released a new version of Idris onto hackage. The main new thing is that I've completely removed the dependency on Epic, which means the old problem of the garbage collector failing to build will no longer cause people problems. Other changes:

User visible changes:

* Added binding forms to syntax rules
* Named class instances
* Added ':set' command, with options 'errorcontext' for displaying local
variables in scope when a unification error occurs, and 'showimplicits'
for displaying elaborated terms in full
* Added '--errorcontext' command line switch
* Added ':proofs' and ':rmproofs' commands
* Various minor REPL improvements and fixes

Internal changes:

* Completely new run time system (not based on Epic or relying on Boehm GC)
* Normalise before forcing to catch more forceable arguments
* Types no longer exported in normal form
* Try to resolve overloading by inspecting types, rather than full type
checking

THanks to everyone who has contributed. Have fun!

Edwin.

[Dirk Ullrich]

Hi Edwin

2012/9/15 Edwin Brady <edwin...@gmail.com>:

[...]

that's are good news!

Since I was today in a masochistic mood I've tried to compile the
Haskell stuff installed on my boxes with GHC 7.6.1. Comming to Idris I
run into some trouble with the now removed `System.IO.Error.catch'.
But this can be easily fixed. Being about it I factored some code
common to `Idris/REPL.hs' and `IRTS/CodegenC.hs' out. (May be there is
more - I've only dealt with those stuff I've spotted on the fly.) This
is the purpose of the patch attched.

Dirk

[Carter Schonwald]

Is this merged in yet please? :) 

[Carter Schonwald]

or at least factored into a github pull request? :) 

[Dirk Ullrich]

Hi Carter, and other Idris fans,

2012/9/28 Carter Schonwald <carter.s...@gmail.com>:

> or at least factored into a github pull request? :)

what exactly are you asking for?
The GHC 7.6 patch for Idris itself is merged, but the Haskeline
0.6.4.6 patch for GHC 7.6 isn't merged into Haskeline. I didn't send
it to Haskeline's maintainer since 0.6.x are all old versions of
Haskeline. The newer 0.7.x versions can be built with GHC 7.6, but the
interface is different from 0.6.x and does not work out-of-the-box
with Idris.

I will append the Haskeline 0.6.4.6 for GHC 7.6 (it's a trivial one).
You can apply it in the toplevel directory of Haskeline 0.6.4.6's
source by
patch -p1 < /path/to/haskeline-0.6.4.6_ghc7.6.diff
und get a 0.6.4.7 version to not confuse cabal.

Anyway, imho this is only a quick-and-dirty workaround.

Dirk

[Carter Schonwald]

I was wondering about the util_syst patch, but that haskeline patch  (the updated one) seems to fix all i need for the idris github head to build with ghc 7.6!

thanks!

-Carter