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	Add a --log-level flag to damlc (#11514)	2021-11-03 14:22:57 +01:00
runner	[ledger-api] Include the completion offset in the command_service.proto responses [KVL-1171] (#11658)	2021-11-18 04:37:26 -08:00
service	[ledger-api] Include the completion offset in the command_service.proto responses [KVL-1171] (#11658)	2021-11-18 04:37:26 -08:00
tests	Restructure interface desugaring (#11555)	2021-11-19 10:06:49 +01:00