[darcs-devel] building darcsden
Ben Franksen
ben.franksen at online.de
Mon Oct 2 07:54:19 UTC 2017
Am 01.10.2017 um 23:34 schrieb Ben Franksen:
> I managed to get to a point where it turned out I made a mistake in
> patch1593: I deleted the constraint (PrimOf p ~ Prim) from the argument
> of PrimV1Job (and also from UsesPrimV1). Now it turns out that this
> constraint is needed for darcsden so that it can pattern match on (raw)
> prims. It may be that I need to re-introduce the RawPrim hack at least
> locally inside D.R.Job to do that. Something like
>
> class IsPrimV1 p where
> toPrimV1 :: p -> Darcs.Patch.Prim.V1.Prim
> instance IsPrimV1 V1.Prim where
> toPrimV1 = V1.unPrim
> instance IsPrimV1 V2.Prim where
> toPrimV1 = V2.unPrim
Yes! With that change and adaption of the constraints of PrimV1Job I can
adapt the code in darcsden so that everything compiles cleanly.
If you give me push rights to https://hub.darcs.net/gh/darcsden I can
share the darcsden patches I needed to make.
Cheers
Ben
More information about the darcs-devel
mailing list