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

[Trent W. Buck]

Trent W. Buck <trentbuck at gmail.com> added the comment:

Vincent Zweije wrote:
> I presume this is seriously ungood:
>
>     $ darcs pull --all --patch http://www.sqlite.org/src/info/ccb9393a7a10f0970419b860af293b0bdad7f894
>     Merging us 19/60
>     Merging us 23/60
>     Merging us 43/60
>     Pulling from "/home/vincent/Lemon/darcs/trunk/tool"...
>     Will pull the following changes:
>     Wed Dec 10 21:10:05 CET 2008  shane
>       * http://www.sqlite.org/src/info/ccb9393a7a10f0970419b860af293b0bdad7f894
>       Added option (-l) to lemon parser to have it skip printing line numbers (#line ... ). (CVS 6008)
>
>         M ./lemon.c -19 +21
>     darcs: src/Darcs/Patch/Real.hs:(506,21)-(507,35): Irrefutable pattern failed for pattern Data.Maybe.Just a2'

I believe this issue is known upstream:

    http://bugs.darcs.net/issue1520
    Irrefutable pattern failed for pattern Data.Maybe.Just a2

and the older history:

    http://bugs.darcs.net/issue1204
    "pull => src/Darcs/Patch/Real.lhs:(479, 21)-(497, 99): Irrefutable
    pattern failed for pattern Data.Maybe.Just a2 (2.1.0+236)"

    http://bugs.darcs.net/issue857
    unrecord => Irrefutable pattern failed for pattern Data.Maybe.Just
    a2_minus_p1n1 (2.0.0+)

    http://bugs.darcs.net/issue701
    Irrefutable pattern failed for pattern Data.Maybe.Just a2

Vincent, it would be great if you could step through
http://wiki.darcs.net/Forensics to get more information.

You can CC information directly to upstream's bug tracker by sending
it to bugs at darcs.net, but it *MUST* have the header field

    Subject: [issue1520] Irrefutable pattern failed for pattern Data.Maybe.Just a2

otherwise upstream's bug tracker will do the wrong thing.

----------
nosy: +576965, twb, vzweije

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