On Wed, Jan 08, 2020 at 12:14:32PM +0100, Martin Pieuchot wrote:
> On 08/01/20(Wed) 09:26, Stefan Sperling wrote:
> > On Wed, Jan 08, 2020 at 08:33:06AM +0100, Martin Pieuchot wrote:
> > > Isn't a duplicated cache entry some kind of code error?  Or this can
> > > happen in a repo?
> > 
> > Just to catch coding errors.
> > I don't want to rely on asserts or other hard failures in this code.
> 
> I understand.  I was pointing this out in case you'd like to separate
> errors that can occur because they are part of the normal use of a
> system versus programming mistakes that we also generally name errors :)

In this program all errors are errors :-)