daml/compiler
Robin Krom 36b39aca7b
Move disclosed contract logic to speedy (#14288)
* Move disclosed contract logic to speedy

This moves the disclosed contract logic from the engine to speedy.

Fixes #14090.

* back to versioned contract instances

CHANGELOG_BEGIN
CHANGELOG_END
2022-07-01 08:40:10 +00:00
..
daml-extension Replace more instances of 'scenario' with 'script' (#13651) 2022-04-27 17:49:32 +02:00
daml-lf-ast Add CoImplements to DefInterface in protobuf (#14053) 2022-06-03 16:05:18 +00:00
daml-lf-proto Add CoImplements to DefInterface in protobuf (#14053) 2022-06-03 16:05:18 +00:00
daml-lf-reader hunt down DAML (#13191) 2022-03-08 14:25:25 +01:00
daml-lf-tools LF: drop inheretedChoices from Implements (#14068) 2022-06-02 18:48:54 +00:00
damlc [stdlib] fix DA.Foldable (#14235) 2022-06-30 21:56:10 +02: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 Upgrade ghcide (#12579) 2022-01-26 16:00:20 +01:00
repl-service Speed up Daml repl startup (#13172) 2022-03-09 08:22:42 +00:00
scenario-service Move disclosed contract logic to speedy (#14288) 2022-07-01 08:40:10 +00:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00: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.