If a should_fail test timed out, it was considered as a success, even though it proably shouldn't as it usually means there's a bug in the typechecker. I've changed it.
Unfortunately, it turned out that there are probably still some infinite loops that are not handled, as after this change two test cases that used recursive types started failing. I've moved them to known problems.
erszcz
commented
1 year ago
If a
should_failtest timed out, it was considered as a success, even though it proably shouldn't as it usually means there's a bug in the typechecker. I've changed it.Unfortunately, it turned out that there are probably still some infinite loops that are not handled, as after this change two test cases that used recursive types started failing. I've moved them to known problems.