[Dune-devel] Force usage of named arguments in dune_symlink_to_source_(tree, files)

[Christoph Grüninger]

Dear Dune,
I started to use dune_symlink_to_source_files and I am 
wondering why we force
the useage of named arguments. In 
dune_symlink_to_source_files(FILES files)
we always have to pass the "FILES" keyword.
In general I like named arguments. But here there is nothing 
to destinguish,
you can only pass some file names, nothing else.

Same for dune_symlink_to_source_tree([NAME name])

I would like to get rid of FILES all together. This might 
break user code
but we can still make it into Dune 2.4 and still keep our 
promises, as the
function is new in Dune 2.4.
Or we do not force the usage of FILES and accept both ways.

I am willing to provide a patch within the next 24 h.

Bye
Christoph

-- 
Je n'ai rien contre les étrangers, quelques uns de mes 
meilleurs amis
sont des étrangers. Mais ces étrangers là ne sont pas de chez 
nous!
[Agecanonix, Astérix - Le cadeau de César]