Hamish Knight c39c4e8aad [CS] Unify failed constraint recording ...

Rename `addNewFailingConstraint` to
`recordFailedConstraint`, and call into it
whenever a constraint fails, instead of setting
`failedConstraint`. This ensures that
`-debug-constraints` will always log the constraint
that failed a given scope.

In addition, introduce `retireFailedConstraint`
to cover the common case of retiring a constraint
that just failed.

2020-04-20 19:08:24 -07:00

380 KiB

Raw Blame History

View Raw