<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body>
<div style="font-family:sans-serif"><div style="white-space:normal"><p dir="auto">On 24 Jan 2018, at 17:37, Ilya Perminov wrote:</p>
</div>
<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><div id="585EFA0C-5A21-455B-9E96-CA31D27F6FC9">
<div dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p style="margin-top:0;margin-bottom:0">My iterate directory was missing some patches. With the latest version from darcs 5 tests fail:</p>
<p style="margin-top:0;margin-bottom:0"></p>
<div>5 out of 268 total tests failed: ITERATE.TEST::ALWAYS.FINALLY, <br>
ITERATE.TEST::NEVER.FINALLY, ITERATE.TEST::THEREIS.FINALLY, <br>
ITERATE.TEST::BUG/WALK.2, ITERATE.TEST::BUG/COLLECT-AT-BEGINNING.<br>
</div>
<div><br>
</div>
<div>Apologies for the confusion.<br>
</div>
<p></p>
<p style="margin-top:0;margin-bottom:0"><br>
Ilya</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
</div>
</div></div></blockquote>
<div style="white-space:normal"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px">
</blockquote><p dir="auto">That makes sense: Attila recently added the additional three (failing) tests.</p>
<p dir="auto">Best,<br>
r</p>
</div>
</div>
</body>
</html>