daml/compiler
Moritz Kiefer 17d82bf076
Make name collision check more strict (#5219)
* Make name collision check more strict

This PR extends the name collision check to catch collisions between
A:B (type B in module A) and module A.B.C. For now this is just a
warning and not an error. Once we turn it into an error, we also need
to add this to the Scala collision checker.

There is a fair bit of plumbing required to make warnings work but on
the plus side we get multiple errors at once now instead of erroring
out on the first one.

changelog_begin

- [DAML Compiler] The name collision check has been extended to also
  count the case as a collision where you have a type B in module A and a module
  A.B.C (but no module A.B). This is a warning in this SDK release but
  will become an error in a future release. The typescript codegen is
  not usable on packages that don’t uphold this restriction.

changelog_end

* Address review comments
2020-03-26 19:24:34 +01:00
..
daml-extension Remove pragma 'daml 1.2' (#4702) 2020-02-26 13:17:45 -05:00
daml-lf-ast Make name collision check more strict (#5219) 2020-03-26 19:24:34 +01:00
daml-lf-proto DAML-LF add support for generic comparison in archive (#4983) 2020-03-13 20:13:13 +01:00
daml-lf-reader Use package metadata instead of file names to infer unit ids (#4667) 2020-02-24 18:12:29 +00:00
daml-lf-tools Make name collision check more strict (#5219) 2020-03-26 19:24:34 +01:00
daml-licenses Remove unused //compiler/daml-licenses and //:notices-gen (#5221) 2020-03-26 17:33:11 +00:00
damlc Make name collision check more strict (#5219) 2020-03-26 19:24:34 +01: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 Bump ghcide (#5128) 2020-03-23 12:09:36 +00:00
repl-service Abstract over ledger interaction in DAML script (#5184) 2020-03-25 15:26:18 +01:00
scenario-service Add keys with maintainers to Fetch nodes (#5186) 2020-03-26 14:07:17 +01:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01:00

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.