digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 09:17:43 +03:00
Code Issues Projects Releases Wiki Activity
b3fa897dc1
daml/sdk/compiler
History
dylant-da b3fa897dc1
Validate Interface Upgrades (#19054) 
* Initial attempt/PoC at pulling out interfaces and typechecking them

* Add checking for new interfaces

* Fix call to checkUpgrade, improve/fix warning for locally defined iface

* drop todo

* clean up noop checkDeletedIfaces

* Check that an instance is not deleted

* Port checks to Upgrading.scala, port tests to UpgradesSpec.scala

* Improve context reporting in upgrade validation

* Add tests for dropped/added interface instances

* Fix regices for failure

* lint

* fix copyright headers

* Re-enable flaky, fix formatting issues

* More tests + checks for ifaces in same package as template/instance

* fix expectation on "Cannot upgrade view" for Windows UTF-8/16

* Synchronize tests from DamlcUpgrades to UpgradesSpec

* lint

* Add module name to "DefineIfacesAndTemplates" error, fix test

* re-enable tests

* lint
2024-04-29 19:56:03 +00:00
..
daml-dar-reader move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00
daml-extension Multi-ide refactors (#18885) 2024-04-18 16:12:18 +01:00
daml-lf-ast move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00
daml-lf-proto move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00
daml-lf-proto-decode Recreate LF major version 1 (#18833) 2024-03-26 09:06:35 +01:00
daml-lf-proto-encode move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00
daml-lf-proto-util move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00
daml-lf-reader move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00
daml-lf-tools Validate Interface Upgrades (#19054) 2024-04-29 19:56:03 +00:00
damlc Validate Interface Upgrades (#19054) 2024-04-29 19:56:03 +00:00
ghcide move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00
hie-core move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00
lsp-tests move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00
scenario-service Pass package-name into GlobalKey construction (#18927) 2024-04-08 09:36:38 +01:00
README.md move to subdir 3.0 (#18520) 2024-03-22 02:27:46 +01:00

README.md

Daml Compiler

This directory contains several libraries used by and the executable for the Daml compiler.

Libraries

  • daml-lf-ast: The Daml-LF AST and type checker.