Am Do., 8. Juni 2023 um 20:13 Uhr schrieb Arthur A. Gleckler
<xxxxxx@speechcode.com>:
>
> Marc, would you please take a look at Shiro's comment?
>
> Thanks.
>
> On Fri, May 26, 2023 at 9:08 PM Shiro Kawai <xxxxxx@gmail.com> wrote:
>>
>> The following constructors shouldn't take arguments, for the created condition doesn't have corresponding fields.
>>
>> make-thread-condition
>> make-thread-already-terminated-condition
>> make-thread-timeout-condition
>> make-thread-abandoned-mutex-condition

Yes, Shiro is right about the synopses. It is a copy-paste error.

Please ignore the /obj/ argument in the constructor calls.

Thanks,

Marc

>>
>>