digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 01:07:18 +03:00
Code Issues Projects Releases Wiki Activity
ef470ee883
daml/compiler
History
Moritz Kiefer ef470ee883
Simplify and fix package id handling in daml-lf-verify (#6564) 
The whole instPrSelf thing is just repeating what DecodeAsDependency
does. Handling unqualified TypeConNames also sounds very questionable
so I changed that as well. Sadly this doesn’t fix the issue I was
hoping to fix.

changelog_begin
changelog_end
2020-07-02 07:03:43 +00:00
..
daml-extension Display why a party knows about a contract in table view (#6475) 2020-06-24 14:55:26 +00:00
daml-lf-ast Constant lifting transformation in the LF simplifier. (#6101) 2020-06-18 17:36:28 +00:00
daml-lf-proto Use com.daml as root package (#5343) 2020-04-05 19:49:57 +02:00
daml-lf-reader replace DAML Authors with DA in copyright headers (#5228) 2020-03-27 01:26:10 +01:00
daml-lf-tools Add some tests for constant lifting. (#6519) 2020-06-29 17:25:38 +01:00
daml-lf-verify Simplify and fix package id handling in daml-lf-verify (#6564) 2020-07-02 07:03:43 +00:00
daml-licenses replace DAML Authors with DA in copyright headers (#5228) 2020-03-27 01:26:10 +01:00
damlc Daml REPL - use data dependencies (#6563) 2020-07-01 16:11:30 +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 Prefix IDE include paths with project root (#6463) 2020-06-23 16:58:14 +02:00
repl-service Speedy ANF (#6440) 2020-06-30 20:52:44 +00:00
scenario-service Speedy ANF (#6440) 2020-06-30 20:52:44 +00: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.