Zulip Chat Archive

Stream: new members

Topic: try ... else try ...


view this post on Zulip 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 ?

view this post on Zulip 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"

view this post on Zulip Anatole Dedecker (Jul 26 2020 at 12:18):

Ooooooh thanks a lot !


Last updated: May 13 2021 at 19:20 UTC