Re: [PATCH 1/2] pickles: Add new pickle `unittest.pk`

[Jose E. Marchesi]

>> > +fun tests_run_exit = (Test[] tests) void:
>> > +  {
>> > +    exit (tests_run (tests) ? 0 : 1);
>> > +  }
>> 
>> Is tests_run_exit really necessary?
>
>
> I think exiting with code `1` is useful. We want to communicate the failure.
> I think this is useful running poke unittests in shell scripts (we don't
> know which testing frameworks users want to use).

Well sure, but writing `exit (tests_run (tests) ? 0 : 1)' is easy enough
isnt it.