Renaming Flag!"" in API

[Ali Çehreli]

It's amazing how things come together before each conference. Flag 
appears among my slides for an upcoming conference as well! :)

But I don't think there is any solution to your problem.

On 10/12/20 3:24 AM, FreeSlave wrote:

 > Later I realize that 'myflagname' is a bad name and I want to change it
 > to something else. But if I do so, I break the existing code using this
 > API as Flag with different name will be a different type

This is essentially the same as one of the objections to named arguments.

Ali