libera/#ecl - IRC Chatlog
Search
11:55:58
yitzi
jackdaniel: rtoy has been very helpful. I think we have probably come to a consensus. There are a few other things I need to tweak, but the good news that we've come with a mechanism to set the disabled notes in addition to the expected failures with the same file.
12:00:44
jackdaniel
I regret that I never had enough time to properly follow up in line with his pace
13:37:34
jackdaniel
finally I've found a few hours to work on ecl, I'm thrilled :) the nimble* type inferencer goes brrt
17:16:07
yitzi
I was just trying to make sure that rtoy understood that there was an "unexpected failure" section since he missed that before. I didn't have a test run with unexpected failures around so I faked it. Sorry.
17:28:09
yitzi
jackdaniel: I am wondering if the summary "48 failures with 2 unexpected failures and 24 unexpected successes out of 21908 tests." should be at the very end versus before the listing of the failed tests.
17:35:39
jackdaniel
I'd go as you've shown in that example, but if it is clearly stated then (imo) both are OK
17:48:33
yitzi
jackdaniel: Here is the report I got for ECL. The last two are probably false since they were supposed to be excluded. https://plaster.tymoon.eu/view/3803
19:20:22
yitzi
jackdaniel: What do think about putting default "expected failure" files in for various implementations? rtoy's desire to run from a makefile is gonna be hard to do since passing arguments is a PITA there.
19:29:20
jackdaniel
can't it load a single file with feature conditionals? I don't have any strong opinion; it is important to be able to run it without stuff like asdf (i.e from the command line), so incomplete implementations may be tested