[darcs-users] Doubts about commuteFilepatches

[Iago Abal]

Hi all,

Let me ask for some details I see in Darcs code about commuteFP:

commuteFP :: FileName -> (FilePatchType :< FilePatchType) C(x y) -> Perhaps
> ((Prim :< Prim) C(x y))
>
commuteFP f (Hunk line1 [] [] :< p2) = seq f $ Succeeded (FP f
> (unsafeCoerceP p2) :< FP f (Hunk line1 [] []))
>
commuteFP f (p2 :< Hunk line1 [] []) = seq f $ Succeeded (FP f (Hunk line1
> [] []) :< FP f (unsafeCoerceP p2))ç
>
...


Why do you pattern match agains Hunk patches with empty "old" and "new"
content? Are they sensible?

Thanks in advance.

-- 
Iago Abal Rivas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20101027/d720a71b/attachment.html>