Robin Krom 2edfc062a0 ifaces: name collision, typecheck fetch/exercise (#10896) ... * ifaces: name collision, typecheck fetch/exercise This adds name collision detection and adds typechecking for fetch/exercising of interface instances. CHANGELOG_BEGIN CHANGELOG_END * turn on exercises in InterfaceDesugared test case * Update compiler/daml-lf-tools/src/DA/Daml/LF/TypeChecker/NameCollision.hs Co-authored-by: Sofia Faro <sofia.faro@digitalasset.com> Co-authored-by: Sofia Faro <sofia.faro@digitalasset.com>		2021-09-20 21:40:26 +00:00
..
src/DA/Daml/LF	ifaces: name collision, typecheck fetch/exercise (#10896)	2021-09-20 21:40:26 +00:00
tests/DA/Daml/LF/Simplifier	Add daml interfaces to the Haskell LF AST (#10811)	2021-09-08 15:48:02 +00:00
BUILD.bazel	update copyright notices for 2021 (#8257)	2021-01-01 19:49:51 +01:00