Idris 0.9.4 released - Idris Programming Language

The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Message from discussion Idris 0.9.4 released
Received-SPF: pass (google.com: domain of carter.schonw...@gmail.com designates 209.85.223.180 as permitted sender) client-ip=209.85.223.180;
MIME-Version: 1.0
In-Reply-To: <22EBBE10-DEB6-4C0D-B4A0-88030D2C8...@gmail.com>
References: <22EBBE10-DEB6-4C0D-B4A0-88030D2C8...@gmail.com>
From: Carter Schonwald <carter.schonw...@gmail.com>
Date: Sun, 7 Oct 2012 15:15:39 -0400
Message-ID: <CAHYVw0zx_A2w1b+ZooP1VJO-H+gcUX8Jc6OQqdXVbP=SpbQ...@mail.gmail.com>
Subject: Re: [Idris] Idris 0.9.4 released
To: idris-lang@googlegroups.com
Content-Type: multipart/alternative; boundary=f46d044786f36581cd04cb7cefe0

--f46d044786f36581cd04cb7cefe0
Content-Type: text/plain; charset=UTF-8

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.
>
> 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.

--f46d044786f36581cd04cb7cefe0
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

i get the error that &quot;Could not find module `IRTS.CodegenJava&#39;&quo=
t; when i do the hackage build, but building from current github head=C2=A0=
<div>works fine<br><br><div class=3D"gmail_quote">On Sun, Oct 7, 2012 at 10=
:21 AM, Edwin Brady <span dir=3D"ltr">&lt;<a href=3D"mailto:edwin.brady@gma=
il.com" target=3D"_blank">edwin.br...@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">Dear all,<br>
Idris version 0.9.4 has been released on Hackage. To install, run &quot;cab=
al update&quot; and type &quot;cabal install idris&quot;. This is primarily=
 a bug fix release, to correct some teething problems with the new compiler=
 back end.<br>


<br>
It includes the following user visible changes:<br>
<br>
* Simple packaging system (see <a href=3D"http://idris-lang.org/documentati=
on/packages" target=3D"_blank">http://idris-lang.org/documentation/packages=
</a>)<br>
* Added --dumpc flag for displaying generated code<br>
<br>
Internal changes:<br>
<br>
* Improve overloading resolution (especially where this is a type error)<br=
>
* Various important bug fixes with evaluation and compilation<br>
* More aggressive compile-time evaluation<br>
<br>
As always, please report any problems on the github issue tracker (<a href=
=3D"https://github.com/edwinb/Idris-dev/issues" target=3D"_blank">https://g=
ithub.com/edwinb/Idris-dev/issues</a>) - I will catch up with what is on th=
ere eventually! Also, do let me know how you get on in general either via t=
he mailing list or the #idris channel on <a href=3D"http://irc.freenode.net=
" target=3D"_blank">irc.freenode.net</a>.<br>


<span class=3D"HOEnZb"><font color=3D"#888888"><br>
Edwin.</font></span></blockquote></div><br></div>

--f46d044786f36581cd04cb7cefe0--
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
Account Options
