<div>Hi Eric<br> </div><blockquote style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;" class="gmail_quote"> I meant have you checked 
that this fails with released Darcs and succeeds with HEAD darcs?<br></blockquote><br>Yes is tested with both versions. <br><br>--<br>Adolfo<br>