Should `@a | @b => c` fail validation?

I just saw something that I didn’t expect. I believe it is still the case that you cannot have |(or) syntax for xtriggers. But, graph of @a | @b => c does not fail validation, it installs and runs. I believe it treats the |(or) as an &(and) operator instead though.

If I’m correct that |(or) is not valid, should this syntax actually fail validation? Or at minimum, warnings be placed that it is converetd to &(and)?

If you are correct (and trying it for myself suggests that you are), then this should definately fail validation.

Do you have a reference for the manual, because I can’t find any indication that this is expected behaviour? Or is this historical knowledge that you have?

External Triggers — Cylc 8.5.0.dev documentation “Current Limitations”:

  • trigger labels cannot currently be used in conditional (OR) expressions in the graph; attempts to do so will fail validation.

(So I guess validation of this has somehow been broken… we must not have a test for it :thinking: )

1 Like

I will write this up.

Historical info. But it is mentioned in here and linked issues. As far as I know it was not done yet.

https://github.com/cylc/cylc-flow/issues/2712

Documented as bug at Xtrigger or dosn't fail validation · Issue #6771 · cylc/cylc-flow · GitHub.