Moisés Ackerman 992942b573 Refactor interface instance typechecking and compilation (scala) (#14647) ... * Refactor (Co)Implements(Method) DefRefs InterfaceInstanceDefRef replaces ImplementsDefRef and CoImplementsDefRef InterfaceInstanceMethodDefRef replaces ImplementsMethodDefRef and CoImplementsMethodDefRef * Define PackageInterface.lookupInterfaceInstance * Remove lookupTemplateImplements and related functions * Replace uses of lookupTemplateImplements and similar with lookupInterfaceInstance * Rename ETemplateDoesNotImplementInterface=>EMissingInterfaceInstance * Rename EConflictingImplementsCoImplements=>EAmbiguousInterfaceInstance * Replace checkIface(Co)Implementations with direct use of checkInterfaceInstance * Remove LookupError.Reference cases for implements/co-implements * Rename and refactor EMissingRequiredInterface{=>Instance} * Rename and refactor EMissingInterfaceMethod=>EMissingMethodInInterfaceInstance * Rename and refactor EUnknownInterfaceMethod=>EUnknownMethodInInterfaceInstance * Clean up checkInterfaceInstance * Include interface signature in InterfaceInstanceInfo changelog_begin changelog_end		2022-08-09 16:17:29 +00:00
..
src	Refactor interface instance typechecking and compilation (scala) (#14647)	2022-08-09 16:17:29 +00:00
BUILD.bazel	Replace silencer plugin with built-in warning configuration (#12543)	2022-01-24 15:01:35 +00:00
daml-lf.bzl	LF: Create LF 1.15 in scala to park basic interface constructs (#14534)	2022-07-29 20:09:57 +02:00