daml/compiler
Moritz Kiefer 40292c2b6d
Avoid including daml-stdlib and daml-prim twice (#4222)
This fixes #4114 and cleans up the situation around
`data-dependencies` and `dependencies` as described in #4218.

There is still more work to be done here mostly around ironing out all
the edge cases and producing useful error messages instead of
silentely doing the wrong thing but I’ll leave that to a separate PR.

To test this, I’ve fixed the packaging tests to no longer deduplicate
package ids (which means they would return the wrong number if
daml-prim ends up in there twice) and I addded a test where we have 3
projects:

- `lib`
- `a` which depends on `lib`
- `b` which depends on `lib` via `dependencies` and 'a' via
  `data-dependencies`.

changelog_begin
changelog_end
2020-01-27 14:56:12 +01:00
..
daml-extension upgrading to newest nodejs_rules (#4057) 2020-01-16 15:55:32 +01:00
daml-lf-ast Convert type classes to LF type synonyms (#4023) 2020-01-24 09:24:45 +00:00
daml-lf-proto Type checking DAML-LF type synonyms (#3959) 2020-01-10 17:51:51 +00:00
daml-lf-reader update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00
daml-lf-tools check for and reject cyclic type synonym definitions (#4026) 2020-01-13 17:32:55 +00:00
daml-licenses remove MissingH (#3948) 2020-01-06 14:36:14 +01:00
damlc Avoid including daml-stdlib and daml-prim twice (#4222) 2020-01-27 14:56:12 +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 to fix GHC panics in LSP tests (#4176) 2020-01-24 08:40:57 +00:00
scenario-service Engine: Add node and contract Discriminator 2020-01-22 18:49:30 +01:00
ghcide-daml.sh update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +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.