Moisés Ackerman d23d113667 Restructure interface desugaring (#11555) ... * Update ghc patch * Replace Implements proxy datatype with a class * Expose 'Implements' class in Prelude * Add DA.Internal.Desugar.HasMethod class This allows us to get the type of a method of an interface through the functional dependency * Convert interfaces from new desugaring * Update Interface daml-test-file to use Interface class functions * Update InterfaceDesugared daml-test-file * Replace remaining uses of Is<Interface> methods with Implements * Document HasMethod, Method and mkMethod * Ignore _method_ bindings in convertBind * Ignore interface desugaring types/classes/instances/functions in LF conversion * update snapshot after pin on windows changelog_begin changelog_end		2021-11-19 10:06:49 +01:00
..
daml	Restructure interface desugaring (#11555)	2021-11-19 10:06:49 +01:00
scenarios	Suport multi-party readAs in triggers (#11299)	2021-10-20 18:17:15 +00:00
src/test/scala/com/digitalasset/daml/lf/engine/trigger/test	Fix sandbox database config in script & trigger tests (#11655)	2021-11-12 06:18:12 +00:00
BUILD.bazel	Fix sandbox database config in script & trigger tests (#11655)	2021-11-12 06:18:12 +00:00
list-triggers.sh	update copyright notices for 2021 (#8257)	2021-01-01 19:49:51 +01:00