[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