[darcs-devel] [patch1907] Move PrimOf out of PrimPatchBase

Ganesh Sittampalam bugs at darcs.net
Wed Sep 18 07:26:47 UTC 2019


Ganesh Sittampalam <ganesh at earth.li> added the comment:

> I am undecided. I don't see a clear win doing this but neither do I see
> us losing anything. If you feel this is an improvement or if it helps
> you with some other refactor, go ahead, no objections. Otherwise I'd say
> let's save this until we have a pressing need. I am fine either way.

OK, I'm leaning towards having it because reducing the number of
PrimPatchBase instances seems nice. But I'll leave it for a bit to see
if I still think it's a good idea.

It is a pre-requisite for patch1914 but I think the merits of that are
very much in doubt.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1907>
__________________________________


More information about the darcs-devel mailing list