digital-asset / daml

The Daml smart contract language
https://www.digitalasset.com/developers
797 stars 199 forks source link

Command line tooling support for compiler type checking of upgrades #19006

Open basvangijzel-DA opened 5 months ago

basvangijzel-DA commented 5 months ago

Command line option within daml/damlc that allows a user to check whether two packages are compatible at compile time.

daml check-upgradable <package1> <package2>

Probably allow

daml check-upgradable <package> ... <packagen>

The result would be as if one of the two packages had defined upgrades: location_of_package1 within the daml.yaml of package2 or the other way around. Should investigate how easy it is to be smart, and do the compatibility check in the right direction so we don't force people to put the lower version first.

For further suggestions (to be validated first with product!), see https://docs.google.com/document/d/18XKYP-PvrhgaDRPnG30H2JZvBawqz5nBpa7gIFsYOwE/edit#bookmark=id.jxy4rhbn1rqm.

basvangijzel-DA commented 2 months ago

Dependent on customer feedback