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

[Andreas Abel]

https://code.google.com/p/agda/issues/detail?id=1373

This is fixed, but maybe not entirely.  Ulf also said that the fix goes 
to far, effectively turning off sharing completely.

On 15.02.2015 16:02, Andrés Sicard-Ramírez wrote:
> On 15 February 2015 at 04:29, Andreas Abel <abela at chalmers.se> wrote:
>> The "Sharing" feature (call-by-need) on master is not stable enough to be
>> released, probably not in the near future.
>
> Is there some issue pointed out the instability of sharing?
>

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