Moisés Ackerman 415cf95c78 Retroactive implements scala runtime (#14372) ... * Use lookupTemplateImplementsOrInterfaceCoImplements in checkGenImplementation * Update docs for ImplementsDefRef to reflect reality Namely, it does not point to a conversion function, and the actual value it points to is irrelevant. Only its presence is used to determine whether a template implements an interface or not. Consequently, it now points to the unit value instead of the identity function. * Generate 'CoImplementsDefRef's for each co-implemented template * Consider CoImplementsDefRef in SBuiltin when checking if a template implements an interface Also factor out check into private function * Compile co-implemented methods using CoImplementsMethodDefRef * SBCallInterface now uses CoImplementsDefRef for co-implemented methods * Add test cases for (co)implemented interfaces in SBuiltinInterfaceTest * Remove TemplateDoesNotImplementInterface error * Explicitly override def in '*Implements*DefRef' changelog_begin changelog_end		2022-07-11 18:03:59 +00:00
..
src	Retroactive implements scala runtime (#14372)	2022-07-11 18:03:59 +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