digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-11-10 10:46:11 +03:00
Code Issues Projects Releases Wiki Activity
1b5140ed50
daml/compiler
History
Moritz Kiefer 7a9b9a3ace
Fix data-dependencies for impredicative types (#4744) 
I’m not really happy with this “fix” but after having spend way too
much time on this, this was the best I came up with. (The details are
in an inline comment). If anyone has better ideas, I’m all ears.

changelog_begin
changelog_end
2020-03-02 09:37:46 +01:00
..
daml-extension Remove pragma 'daml 1.2' (#4702) 2020-02-26 13:17:45 -05:00
daml-lf-ast Use package metadata instead of file names to infer unit ids (#4667) 2020-02-24 18:12:29 +00:00
daml-lf-proto Produce package metadata in damlc (#4647) 2020-02-21 13:47:28 +01:00
daml-lf-reader Use package metadata instead of file names to infer unit ids (#4667) 2020-02-24 18:12:29 +00:00
daml-lf-tools damlc validate-dar (#4654) 2020-02-27 14:26:14 +00:00
daml-licenses remove MissingH (#3948) 2020-01-06 14:36:14 +01:00
damlc Fix data-dependencies for impredicative types (#4744) 2020-03-02 09:37:46 +01: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 Fix flaky lsp tests (#4541) 2020-02-17 12:50:53 +01:00
repl-service Graceful error handling in daml repl (#4673) 2020-02-24 18:15:32 +01:00
scenario-service [Engine] push absolute contract ids inside the evaluation (#4652) 2020-02-21 20:21:35 +01: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.