daml/compiler
Moritz Kiefer f77e326e0b Generate stable DA.Time.Types module as DAML-LF 1.6 (#4095)
This was accidentally set to 1.7 before for no reason. Note that this
simply meant that we did not use the stable module when compiling with
--target=1.6 since we filter out newer stable packages.

Nevertheless, I’ve also added a test that verifies that we do not
accidentally introduce dependencies on packages in newer LF versions.

changelog_begin
changelog_end
2020-01-17 18:05:39 +00:00
..
daml-extension upgrading to newest nodejs_rules (#4057) 2020-01-16 15:55:32 +01:00
daml-lf-ast fix bug in freeVars code (#4027) 2020-01-14 11:52:58 +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 Generate stable DA.Time.Types module as DAML-LF 1.6 (#4095) 2020-01-17 18:05:39 +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 Bump ghcide to include bugfix (#4074) 2020-01-16 18:38:58 +00:00
scenario-service Engine: Small refactoring of partial transactions (#3951) 2020-01-09 19:01:44 +00: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.