daml/compiler
Martin Huschenbett b95daba9ed Simplify conversion of top level bindings to DAML-LF (#2730)
At the top level we don't care if bindings are recursive or not. The logic
that takes care of this ignorance is currently mixed with the actual logic
for converting the bindings.

This PR separates these concerns properly. This is also in preparation for
another upcoming change which needs access to all top level bindings.
2019-09-02 19:51:03 +00:00
..
daml-extension Visual integration with LSP (#2597) 2019-08-26 15:47:29 +00:00
daml-lf-ast Convert Decimal type, literals, and primitives to Numeric when feature is available. (#2723) 2019-09-02 17:10:26 +00:00
daml-lf-proto Add Numeric literals in daml-lf-ast and daml-lf-proto. (#2706) 2019-08-30 08:45:03 +00:00
daml-lf-reader Refactor DAR manifest reader (#2699) 2019-08-29 10:26:53 +00:00
daml-lf-tools Convert Decimal type, literals, and primitives to Numeric when feature is available. (#2723) 2019-09-02 17:10:26 +00:00
daml-licenses update copyright notices (#2499) 2019-08-13 17:23:03 +01:00
damlc Simplify conversion of top level bindings to DAML-LF (#2730) 2019-09-02 19:51:03 +00:00
hie-core replace main file with a pointer to the source root (#2687) 2019-08-29 13:42:33 +02:00
lsp-tests Visual integration with LSP (#2597) 2019-08-26 15:47:29 +00:00
scenario-service Revert type based computation of table headers in scenario view (#2704) 2019-09-02 12:35:52 +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.