On Fri 16 Aug 2019 at 14:28, Damien Cassou wrote: > But this crashes checkdoc+patch because it expects each element of the > parameter list to be a symbol which (entities list) is not. > > Also, CL methods accept &key and &context to specify parameters. Those > should be taken care of by checkdoc in one way or another. True, thanks for reminding me. The attached patch should take care of these two scenarios. Alex