<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
color:black;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
pre
{mso-style-priority:99;
mso-style-link:"HTML Preformatted Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";
color:black;
mso-fareast-language:EN-GB;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:36.0pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
color:black;
mso-fareast-language:EN-US;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
color:black;
mso-fareast-language:EN-GB;}
p.Code, li.Code, div.Code
{mso-style-name:Code;
mso-style-link:"Code Char";
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:9.0pt;
font-family:"Courier New";
color:black;
mso-fareast-language:EN-US;}
span.CodeChar
{mso-style-name:"Code Char";
mso-style-link:Code;
font-family:"Courier New";}
span.EmailStyle22
{mso-style-type:personal;
font-family:"Calibri",sans-serif;}
span.HTMLPreformattedChar
{mso-style-name:"HTML Preformatted Char";
mso-style-priority:99;
mso-style-link:"HTML Preformatted";
font-family:Consolas;
color:black;
mso-fareast-language:EN-US;}
span.EmailStyle25
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body bgcolor="white" lang="EN-GB" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal">I’ll try validating again to see if the same thing happens.<o:p></o:p></p>
<p class="MsoNormal">Simon<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal" style="margin:0cm;margin-bottom:.0001pt"><b><span lang="EN-US" style="mso-fareast-language:EN-GB">From:</span></b><span lang="EN-US" style="mso-fareast-language:EN-GB"> David Eichmann <davide@well-typed.com>
<br>
<b>Sent:</b> 17 November 2018 16:48<br>
<b>To:</b> Simon Peyton Jones <simonpj@microsoft.com><br>
<b>Cc:</b> ghc-devs@haskell.org<br>
<b>Subject:</b> Re: More teststuite woes<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p>Hello Simon,<span style="mso-fareast-language:EN-GB"><o:p></o:p></span></p>
<p>I had a quick look into this today, and spoke a bit with Ben about it. We don't have a clear answer as to what is causing this at the moment. We'll have to look more into this early next week.
<o:p></o:p></p>
<p>> It means I can’t validate at all.<o:p></o:p></p>
<p>So you've tried to validate multiple times? I.e. does the error happen deterministically or was it more of a one off event?<o:p></o:p></p>
<p>- David E<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<p class="MsoNormal">On 17/11/18 10:05, Simon Peyton Jones via ghc-devs wrote:<o:p></o:p></p>
</div>
<blockquote style="margin-top:5.0pt;margin-bottom:5.0pt">
<p class="MsoNormal">David<o:p></o:p></p>
<p class="MsoNormal">I got this error on Windows today. It’s during the testuite run of ‘sh validate’<o:p></o:p></p>
<p class="Code">=====> T7969(normal) 3998 of 6647 [0, 25, 1]<o:p></o:p></p>
<p class="Code">cd "/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test spaces/rename/should_compile/T7969.run" && $MAKE -s --no-print-directory T7969
<o:p></o:p></p>
<p class="Code">=====> T9127(normal) 3999 of 6647 [0, 25, 1]<o:p></o:p></p>
<p class="Code">cd "/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test spaces/rename/should_compile/T9127.run" && "/c/code/HEAD/bindisttest/install dir/bin/ghc.exe" -c T9127.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations
-fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno-debug-output
<o:p></o:p></p>
<p class="Code">=====> T4426(normal) 4000 of 6647 [0, 25, 1]<o:p></o:p></p>
<p class="Code">cd "/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test spaces/rename/should_compile/T4426.run" && "/c/code/HEAD/bindisttest/install dir/bin/ghc.exe" -c T4426.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations
-fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno-debug-output
<o:p></o:p></p>
<p class="Code">cd "/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test spaces/rename/should_compile/T5592.run" && ./T5592
<o:p></o:p></p>
<p class="Code">=====> T9778(normal) 4001 of 6647 [0, 25, 1]<o:p></o:p></p>
<p class="Code">cd "/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test spaces/rename/should_compile/T9778.run" && "/c/code/HEAD/bindisttest/install dir/bin/ghc.exe" -c T9778.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations
-fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno-debug-output -fwarn-unticked-promoted-constructors<o:p></o:p></p>
<p class="Code">=====> T10816(normal) 4002 of 6647 [0, 25, 1]<o:p></o:p></p>
<p class="Code">cd "/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test spaces/rename/should_compile/T10816.run" && "/c/code/HEAD/bindisttest/install dir/bin/ghc.exe" -c T10816.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations
-fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno-debug-output
<o:p></o:p></p>
<p class="Code">Traceback (most recent call last):<o:p></o:p></p>
<p class="Code"> File "/usr/lib/python3.6/threading.py", line 426, in acquire<o:p></o:p></p>
<p class="Code"> self._cond.wait(timeout)<o:p></o:p></p>
<p class="Code"> File "/usr/lib/python3.6/threading.py", line 287, in wait<o:p></o:p></p>
<p class="Code"> raise RuntimeError("cannot wait on un-acquired lock")<o:p></o:p></p>
<p class="Code"><b><span style="color:red">RuntimeError: cannot wait on un-acquired lock</span></b><o:p></o:p></p>
<p class="Code"> <o:p></o:p></p>
<p class="Code">During handling of the above exception, another exception occurred:<o:p></o:p></p>
<p class="Code"> <o:p></o:p></p>
<p class="Code">Traceback (most recent call last):<o:p></o:p></p>
<p class="Code"> File "../driver/runtests.py", line 336, in <module><o:p></o:p></p>
<p class="Code"> oneTest(watcher)<o:p></o:p></p>
<p class="Code"> File "/c/code/HEAD/testsuite/driver/testlib.py", line 717, in <lambda><o:p></o:p></p>
<p class="Code"> thisTest = lambda watcher: runTest(watcher, myTestOpts, name, func, args)<o:p></o:p></p>
<p class="Code"> File "/c/code/HEAD/testsuite/driver/testlib.py", line 678, in runTest<o:p></o:p></p>
<p class="Code"> pool_sema.acquire()<o:p></o:p></p>
<p class="Code"> File "/usr/lib/python3.6/threading.py", line 429, in acquire<o:p></o:p></p>
<p class="Code"> rc = True<o:p></o:p></p>
<p class="Code"> File "/usr/lib/python3.6/threading.py", line 243, in __exit__<o:p></o:p></p>
<p class="Code"> return self._lock.__exit__(*args)<o:p></o:p></p>
<p class="Code"><b><span style="color:red">RuntimeError: release unlocked lock</span></b><o:p></o:p></p>
<p class="Code">make: *** [../mk/test.mk:344: test] Error 1<o:p></o:p></p>
<p class="Code">make: Leaving directory '/c/code/HEAD/testsuite/tests'<o:p></o:p></p>
<p class="Code">make: Entering directory '/c/code/HEAD/testsuite/tests/stage1'<o:p></o:p></p>
<p class="MsoNormal"> <o:p></o:p></p>
<p class="MsoNormal">Does this ring any bells. It means I can’t validate at all.<o:p></o:p></p>
<p class="MsoNormal">Thanks<o:p></o:p></p>
<p class="MsoNormal"> <o:p></o:p></p>
<p class="MsoNormal">Simon<o:p></o:p></p>
<p class="MsoNormal" style="margin:0cm;margin-bottom:.0001pt"><span style="mso-fareast-language:EN-GB"><br>
<br>
<br>
<o:p></o:p></span></p>
<pre>_______________________________________________<o:p></o:p></pre>
<pre>ghc-devs mailing list<o:p></o:p></pre>
<pre><a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><o:p></o:p></pre>
<pre><a href="https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devs&data=02%7C01%7Csimonpj%40microsoft.com%7C2fa86ac0a6a4462dfae308d64cac69e7%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636780700738857953&sdata=JV5yZ1AXzJoKMTYWi8HvgB60DzlKWhGXpxxLtAOZK5U%3D&reserved=0">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><o:p></o:p></pre>
</blockquote>
<p class="MsoNormal" style="margin:0cm;margin-bottom:.0001pt"><span style="mso-fareast-language:EN-GB"><o:p> </o:p></span></p>
</div>
</div>
</body>
</html>