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 > > >