[Agda-dev] Other new branch in the standard library repository: 2.4.2.2

[Ulf Norell]

I'm not saying we shouldn't test the standard library with maint, I'm just
saying that the version of the library that we test doesn't have to include
all new developments in the standard library.

/ Ulf

On Fri, Mar 20, 2015 at 7:25 AM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

> On 20 March 2015 at 00:49, Ulf Norell <ulf.norell at gmail.com> wrote:
> > On Thu, Mar 19, 2015 at 9:02 PM, Andrés Sicard-Ramírez <asr at eafit.edu.co
> >
> > wrote:
> >>
> >>
> >> How can we test in the maintenance branch of Agda all the new stuff in
> >> the development version (the master branch) of the standard library?
> >
> >
> > I'm not sure we have to do that. We don't have any(?) users running the
> > maintenance branch--either you run with master or one of the releases.
>
> I guess we agree in the following classification of Agda's branches:
>
> master -> experimental
> maint   -> "stable"
>
> If we not test the standard library with the Agda "stable" branch, we
> lose the ability to detect problems such as described in
> https://code.google.com/p/agda/issues/detail?id=1347 or
> https://code.google.com/p/agda/issues/detail?id=1407.
>
> --
> Andrés
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150320/1ef39e27/attachment.html