[darcs-devel] [issue1520] Irrefutable pattern failed for pattern Data.Maybe.Just a2

Eric Kow bugs at darcs.net
Wed Apr 14 09:43:37 UTC 2010


Eric Kow <kowey at darcs.net> added the comment:

On Wed, Apr 14, 2010 at 09:24:17 +0000, Vincent Zweije wrote:
> There must be something in the history of the repository
> causing the crash.
> 
> Actually, looks like there are two problems:
> 
>  1. The pull produces a patch that does not apply to the
>     pull destination, and
> 
>  2. The non-applying patch causes a darcs crash.
> 
> Would you agree that the first is the more interesting?

This depends... where there any conflictors involved in the
edit-the-line number stage?  Editing conflictors is rather tricky
business so there may be a risk of accidentally introducing a red
herring for #1.  If no herrings are involved then it might make
sense to open a new bug for #1.  Otherwise, the best is to ensure
that your edits manage to preserve the 'Irrefutable pattern'
message.

Thanks!

-- 
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1520>
__________________________________


More information about the darcs-devel mailing list