Moisés Ackerman 613aac3e47 Add support for non-star-kinded type synonyms in data-dependencies (#11293) ... * Add DA.Internal.NatSyn as a stable package This module exposes a type NatSyn, to be used for encoding type synonyms of Nat-kinded types * Add generalized roundtrip test helpers in LFConversion tests roundtripTestsBy and roundtripTestsPartialBy are like their non-By versions, except they take an explicit equality predicate instead of relying on the Eq instance. This allows the source and target types to differ. * Define encoder/decoder for type synonyms This works by saturating the RHS of the declaration with artificial variable names and adding the corresponding parameters on the LHS In the case of Nat type synonyms, the Proxy-like DA.Internal.NatSyn.NatSyn type is used to wrap the value into something of kind star. * Use type synonym encoder/decoder when generating/consuming DALF This closes #11226 changelog_begin changelog_end * Extend type synonyms over data-dependencies test * Add test cases for multi-param type class synonyms		2021-10-25 17:10:05 +02:00
..
src/Development/IDE/Core	Add support for non-star-kinded type synonyms in data-dependencies (#11293)	2021-10-25 17:10:05 +02:00
test/Development/IDE/Core/API	lsp-types patch for platform independence (#10288)	2021-08-04 21:33:52 +02:00
BUILD.bazel	Extract UtilLF module from daml-lf-conversion to its own library (#11263)	2021-10-15 17:52:09 +00:00
dlint.yaml	Drop alternative rules from dlint config (#10646)	2021-08-25 12:52:51 +02:00