daml/daml-script
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
..
converter Drop 2.12 versioned_scala_deps (#11748) 2021-11-17 22:13:08 +00:00
daml Add a --log-level flag to damlc (#11514) 2021-11-03 14:22:57 +01:00
export Drop 2.12 versioned_scala_deps (#11748) 2021-11-17 22:13:08 +00:00
runner Use explicit party specifications in Daml Script over JSON API (#11678) 2021-11-16 12:17:32 +00:00
test Restructure interface desugaring (#11555) 2021-11-19 10:06:49 +01:00