[darcs-devel] [patch1899] turn RepoPatch into a constraint synonym (and 1 more)

Ganesh Sittampalam bugs at darcs.net
Wed Sep 4 15:53:27 UTC 2019


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

Just to note that one practical consequence of this change is that
if you really need a PrimPatch constraint but omit it, instead
of the type-checker telling you that, you get a stream of messages
about the individual classes. You have to be paying a bit of 
attention to realise that the right fix is to add PrimPatch rather
than writing out a huge constraint by hand.

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


More information about the darcs-devel mailing list