Martin Huschenbett de3f593399 FrontStack: Ensure that claimed invariant is maintained (#6960) ... * FrontStack: Ensure that claimed invariant is maintained The documentation of `FrontStack` claims that the head of the `FQPrepend` is never empty but there's a way to violate this claimed invariant. This PR makes sure the invariant is maintained and then uses the invariant to remove a redundant `else`-branch. CHANGELOG_BEGIN CHANGELOG_END * Remove initials from NOTE CHANGELOG_BEGIN CHANGELOG_END		2020-08-03 11:39:04 +00:00
..
src	FrontStack: Ensure that claimed invariant is maintained (#6960)	2020-08-03 11:39:04 +00:00
BUILD.bazel	equalz Scalatest matcher in new daml-lf/scalatest-tools library (#1200)	2020-05-27 17:25:43 -04:00