try ... else try ...

Stream: new members

[Anatole Dedecker]

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]

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]

Ooooooh thanks a lot !