Am Do., 8. Juni 2023 um 20:13 Uhr schrieb Arthur A. Gleckler <s...@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 <shiro.ka...@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 >> >>
