Release blockers [Re: [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch]

[Andreas Abel]

The "Sharing" feature (call-by-need) on master is not stable enough to 
be released, probably not in the near future.

To release, we need to deactivate Sharing.

We have to address all regressions as well.

Issue 1427 is also a release blocker, as well as Nisse's fix that 
started this discussion.

On 15.02.2015 04:04, Andrés Sicard-Ramírez wrote:
> On 14 February 2015 at 12:25, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote:
>>> Maybe an option is stopping working in the maintenance branches of Agda and
>>> the standard library and focus in the release of Agda 2.4.4 (and a version
>>> of the standard library compatible with it). The standard library is ready
>>> for it. Besides issue https://code.google.com/p/agda/issues/detail?id=1347,
>>> I don't remember if there are some Agda issues blocking this option.
>>
>> How about https://code.google.com/p/agda/issues/detail?id=1396  ?
>
> This regression is in both branches (master and maintenance), so this
> is different to issue 1347 which only is in master. However, I think
> issue 1396 is a blocking bug for releasing Agda 2.4.2.3 (or Agda
> 2.4..4 following my proposal).
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/