daml/compiler
nickchapman-da e2a8cc29e5
Choice instances for cross sdk (#3477)
* generate choice instances for cross sdk dependencies

* add line to test cross-sdk exercise of choice

* revert to naming choice in GenerateSimpleDalf as "NotChoice"

* remove filter/special-handlimg for "Archive" choice

* dont assume a tycon with the same name as a choice; instead use type from chcArgBinder

* error if cant find the template datatype def

* naming

* avoid intercalate followed by re-split on "." in module name

* GenerateSimpleDalf: have two choices: one of record type, one of variant type

* Update Upgrade.hs

* added some linebreaks, spaces for readability

* address cosmetic comments

* use Sdk. prefix as necessary so tests work

* mollify hlint

* fix: daml-assistant/integration-tests
2019-11-20 07:29:56 +00:00
..
daml-extension Change title of release notes tab (#3535) 2019-11-19 22:00:53 +00:00
daml-lf-ast Switch the default DAML-LF version to 1.7 (#3530) 2019-11-19 19:18:07 +00:00
daml-lf-proto Add GenMap support in the compiler. (#3437) 2019-11-13 13:05:53 +00:00
daml-lf-reader language: parse sdk version from manifest (#3262) 2019-10-28 17:45:06 +01:00
daml-lf-tools Add GenMap support in the compiler. (#3437) 2019-11-13 13:05:53 +00:00
daml-licenses Remove dead dependency on jboss logging library (#3333) 2019-11-05 11:36:43 +01:00
damlc Choice instances for cross sdk (#3477) 2019-11-20 07:29:56 +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 Switch the default DAML-LF version to 1.7 (#3530) 2019-11-19 19:18:07 +00:00
scenario-service add genmap in scenario service (#3483) 2019-11-15 12:39:48 +01:00
ghcide-daml.sh Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02: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.