<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div id="gmail-m_5425444954996718704divtagdefaultwrapper" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif" dir="ltr"><div id="gmail-m_5425444954996718704divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"><p>> <span>simply to expose the bug</span></p>
<p><span style="font-size:12pt">Wait, now I see the actual bug you are talking about. It took me some time to find this out, and when this is fixed, no one (except you :)) will be able to understand what this test should do. We should definitively add some more explaining comments
 to this. </span></p></div></div></div></blockquote><div>I thought about that but then decided to simply leave the test generic, that #caseError is just working and not failing for ANY reason, not just the bug today.  As you said, once it's fixed, any explanations here become ancient history that's of questionable usefulness to future readers.  </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div id="gmail-m_5425444954996718704divtagdefaultwrapper" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif" dir="ltr"><div id="gmail-m_5425444954996718704divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"><p><span style="font-size:12pt">Also, an ideal test should never hang up/time out but fail instead, should it? :)</span></p></div></div></div></blockquote><div></div><div>Once it's fixed, it won't.   :)   Timeout was introduced because tests were hanging the CI server.  I don't know any other way to make this test not hang as long as #caseError is broken.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div id="gmail-m_5425444954996718704divtagdefaultwrapper" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif" dir="ltr"><div id="gmail-m_5425444954996718704divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"><p><span style="font-size:12pt">In this case, I see we need an extra test class for it. (Well, personally I would've used #newSubclass, but I see this is a matter of taste ^^). The "regular" #caseOf: tests should go to ObjectTest.</span></p></div></div></div></blockquote><div>Sure.  Please feel free to move it to ObjectTest, include your tests, and improve it if you wish.  I only care about getting #caseError reverted.  General errors should be general and terse, not including the #printString's of, e.g., a 1000-element Array.</div><div><br></div><div>Best,</div><div>  Chris</div></div></div>