[darcs-devel] Checking that merges are valid: [Failed]
Iago Abal
iago.abal at gmail.com
Wed Feb 16 19:41:27 UTC 2011
These days I am executing tests lot of times per day... which could be the
reason because I could have found a (strange?) case in which this property
fails:
( Defined in Darcs.Test.Patch.Properties2 )
propMergeValid :: Sealed2 (FL Patch :\/: FL Patch) -> Property
propMergeValid (Sealed2 (p1:\/:p2)) =
checkAPatch (invert p1:>:p2:>:NilFL) ==>
case merge (p2:\/:p1) of
_ :/\: p2' ->
checkAPatch (invert p1:>:p2:>:invert p2:>:p1:>:p2':>:NilFL)
I attach the error message. Sorry but I have a deadline next week, the bug
is not very related with my work (mainly primitive patches) and I don't
understand merge code.
If you prefer that I create an issue let me know.
--
Iago Abal Rivas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20110216/c3fedb74/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: merges_bug
Type: application/octet-stream
Size: 3730 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20110216/c3fedb74/attachment.obj>
More information about the darcs-devel
mailing list