digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 09:17:43 +03:00
Code Issues Projects Releases Wiki Activity
73978cd212
daml/compiler
History
nickchapman-da 73978cd212
check for and reject cyclic type synonym definitions (#4026) 
* CHANGELOG_BEGIN
check for and reject cyclic type synonym definitions
CHANGELOG_END

* mark 2x comments as TODO
2020-01-13 17:32:55 +00:00
..
daml-extension update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00
daml-lf-ast check for and reject cyclic type synonym definitions (#4026) 2020-01-13 17:32:55 +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 Respect build-options if project-root is used (#4025) 2020-01-13 15:18:40 +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 (#3943) 2020-01-04 07:51:51 +01: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

README.md

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.