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
d8898b8c80
daml/compiler
History
Sofia Faro d8898b8c80
Check fixed choices in name collision checker (#11481) 
* Check fixed choices in name collision checker

This is a follow up to #11364. This PR checks that the list of inherited
choice names is correct in the type checker, and moves the "fixed choice name
collision" check into the name collision checker using this data.

Haskell side only for now. Part of #11137.

changelog_begin
changelog_end

* Update compiler/daml-lf-tools/src/DA/Daml/LF/TypeChecker/Check.hs

Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>

Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
2021-11-01 14:52:44 +00:00
..
daml-extension Address remaining dependabot alerts (#11045) 2021-09-28 11:12:14 +02:00
daml-lf-ast interfaces: Add list of fixed choices in TemplateImplements structure. (#11364) 2021-11-01 11:51:51 +00:00
daml-lf-proto interfaces: Add list of fixed choices in TemplateImplements structure. (#11364) 2021-11-01 11:51:51 +00:00
daml-lf-reader DEL-8657 update version info for Haskell LF libraries (#10160) 2021-07-02 09:46:53 +10:00
daml-lf-tools Check fixed choices in name collision checker (#11481) 2021-11-01 14:52:44 +00:00
daml-lf-verify Drop controller can syntax from compiler tests (#10807) 2021-09-08 15:28:09 +02:00
damlc Check fixed choices in name collision checker (#11481) 2021-11-01 14:52:44 +00:00
ghcide Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
hie-core Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
lsp-tests Drop flaky marker from lsp-tests (#11442) 2021-10-28 12:21:01 +02:00
repl-service LF: rename language Interface to PackageInterface (#10938) 2021-09-20 19:04:14 +00:00
scenario-service LF: Simplify seeds generation in scenario runnner (#11353) 2021-10-25 08:54:42 +02:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00: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.