[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