daml/compiler
associahedron ea9d9cb02e Convert Decimal type, literals, and primitives to Numeric when feature is available. (#2723)
* Add missing alpha-equivalence case.

* Type-level nat is not serializable.

* Convert decimal primitives as numeric primitives if feature is available.

* Convert decimal literals to numeric if available.

* Better approach to decimal primitves.

* Fixing BEDecimalFromText

* Add issue number

* Set Numeric feature at v1.7
2019-09-02 17:10:26 +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 Convert Decimal type, literals, and primitives to Numeric when feature is available. (#2723) 2019-09-02 17:10:26 +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.