On Mon, 2024-09-09 at 17:54 +0200, Jean-Marc Lasgouttes wrote:
> string const arg = (type.empty()) ? move(label) : move(label) + " " 
> + type;

I can understand the first move. That makes all the sense to me.

I can not understand why you use move and then add it to a chr * (that
will be converted to a string) plus a string. Why not then move(type)?

Honestly I have not looked in detail to this. This comment comes from a
rushed read about this message.


PS: Lately I have been more interested in understand annotations in
python that apply/are related to type hinting but not only that. I knew
this before but now I understand it (going up in the Bloom's taxonomy).
:-D
-- 
José Abílio
-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel

Reply via email to