daml/daml-lf/validation
Sofia Faro 776790e386
Add choice collisions in scala name collision checker (#11528)
* Add choice collisions in scala name collision chk

This brings it in line with the LF spec.
This PR also adds collisions for inherited (interface) choices.
Closes #11137.

changelog_begin
changelog_end

* scalafmt

* Apply suggestions from code review

Co-authored-by: Remy <remy.haemmerle@daml.com>

Co-authored-by: Remy <remy.haemmerle@daml.com>
2021-11-03 17:01:34 +00:00
..
src Add choice collisions in scala name collision checker (#11528) 2021-11-03 17:01:34 +00:00
BUILD.bazel Add an LF typechecking benchmark (#11276) 2021-10-18 12:53:17 +00:00