dylant-da 9011c13579 Initial typechecking for upgrades (#17220) ... * first example * remove reliance on NameMap in del/existing/new logic * Add testing for upgrades typechecking in `daml damlc build` * lint * add typecheck-upgrades flag * rename Foo to MyLib * Add missing field to PackageConfigFields * Add reasonable context location for upgrade errors Staging last changes before I leave for CX for some time. * fix quoting for windows paths * Check template choices specifically * Refactor to have signatory etc. checks, improve choice/template check * Check return types of choices * Update DamlcUpgrades for new versions * Check for deleted top level datatypes, add TODO for type check Also add type signatures to some helpers * Add tests for templates as input and outputs of choices * lint * Move upgrading error variants into own UpgradeError type * Improve comment for choice input type invariant * Replace TemplateChoiceOutput with shouldCheck		2023-10-19 17:37:11 +00:00
..
src/DA/Daml/LF	Initial typechecking for upgrades (#17220)	2023-10-19 17:37:11 +00:00
tests/DA/Daml/LF/Simplifier	Introduce LF2 major version (#17348)	2023-09-13 10:01:42 +02:00
BUILD.bazel	Initial typechecking for upgrades (#17220)	2023-10-19 17:37:11 +00:00