Zulip Chat Archive

Stream: new members

Topic: try ... else try ...


Anatole Dedecker (Jul 26 2020 at 12:16):

Is there a way to use the try tactic so that if the tried tactic fails, and only if it fails, we try another one ?

Markus Himmel (Jul 26 2020 at 12:17):

Anatole Dedecker said:

Is there a way to use the try tactic so that if the tried tactic fails, and only if it fails, we try another one ?

You can write tac <|> tac2 to say "do tac, but if it fails, do tac2 instead"

Anatole Dedecker (Jul 26 2020 at 12:18):

Ooooooh thanks a lot !


Last updated: Dec 20 2023 at 11:08 UTC