daml/compiler
Robin Krom cd1533b270 language: fix for tuple types in source generation (#3449)
* language: fix for tuple types in source generation

We correct the source generation from dalfs containing TupleN data
types. A test is added to the integration tests of daml assistant and
the `generate-src` command is improved to make this test possible.

* check that tuple type comes from DA.Types

* check that compilation succeeded

* pattern match golf

* check for tuples between 2 and 20
2019-11-14 13:46:07 +00:00
..
daml-extension Bazel 1.1 (#3249) 2019-11-11 10:06:03 +01:00
daml-lf-ast Add GenMap support in the compiler. (#3437) 2019-11-13 13:05:53 +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 language: fix for tuple types in source generation (#3449) 2019-11-14 13:46:07 +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 Update to current state of progress reporting in LSP (#3211) 2019-10-17 16:14:49 +02:00
scenario-service daml-lf: interned strings/names in scenarios (#3255) 2019-10-30 10:25:46 +00: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.