Full abort on validate failure merging `orElse`.

Authored by fryguybob on Jun 21 2019, 2:32 PM.

Description

Full abort on validate failure merging orElse.

Previously partial roll back of a branch of an orElse was attempted
if validation failure was observed. Validation here, however, does
not account for what part of the transaction observed inconsistent
state. This commit fixes this by fully aborting and restarting the
transaction.

(cherry picked from commit 998f2e18ec1a23c987142551f751b3e0f8431970)

Details

Committed
bgamariSun, Nov 3, 12:17 PM
Parents
rGHC9c7dde7fc26a: Drop duplicate -optl's from GHC invocations
Branches
Unknown
Tags
Unknown