Idris 0.9.4 released
50 views
Skip to first unread message
Edwin Brady
Oct 7, 2012, 10:21:29 AM10/7/12
to idris...@googlegroups.com
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.
It includes the following user visible changes:
* Simple packaging system (see http://idris-lang.org/documentation/packages)
* Added --dumpc flag for displaying generated code
Internal changes:
* 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.
Edwin.
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 http://idris-lang.org/documentation/packages)
* Added --dumpc flag for displaying generated code
Internal changes:
* 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.
Edwin.
Carter Schonwald
Oct 7, 2012, 3:15:39 PM10/7/12
to idris...@googlegroups.com
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
Edwin Brady
Oct 7, 2012, 3:24:45 PM10/7/12
to idris...@googlegroups.com
Argh! This is why it's a bad idea to do releases in a hurry I suppose… *slaps self*
I'm on a train at the minute, I will fix it when I am home in a couple of hours.
(It's not even as if the Java code generator does anything yet…)
Edwin.
I'm on a train at the minute, I will fix it when I am home in a couple of hours.
(It's not even as if the Java code generator does anything yet…)
Edwin.
Edwin Brady
Oct 7, 2012, 3:44:57 PM10/7/12
to idris...@googlegroups.com
Seems my internet connection has been good enough to upload a new version.
There is a bug fix release, 0.9.4.1, now on hackage.
The only problem was a file or two missing from the cabal file… will remember to check this properly next time!
There is a bug fix release, 0.9.4.1, now on hackage.
The only problem was a file or two missing from the cabal file… will remember to check this properly next time!
Reply all
Reply to author
Forward
0 new messages