On Wed, Apr 27, 2022 at 7:29 PM yary <not....@gmail.com> wrote:
> It's like the "where" clause has its own signature-like list of types it will 
> accept. When the where clause uses the default topic "$_" then that topic has 
> no constraint, and MAIN can probe if "--dir=something" should be interpreted 
> as a flag Bool::True or if it should be the string "something". When the 
> "where" clause has only $dir in the body, the optimizer can specialize it to 
> only take Str, and then MAIN doesn't need to probe the Bool::True case.

Sounds a good guess!
What I am a little surprised here is that it seems to me this
behavior, that has changed during time, is not well documented, at
least according to me.

Luca

Reply via email to