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	Small cleanup to the bazel testing setup for daml-lf/interpreter and daml-lf/validation (#13716)	2022-04-27 13:27:17 +01:00