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
f4adee91ca
daml/compiler
History
Moritz Kiefer 8e22bb6b2d
Drop ContractId typeparameter from Value (#10827) 
99% of our usecases use Value[ContractId] so this PR just fixes it.

The few other usescases are:

1. Value[Nothing] which we use for keys. This is technically more
precise but we benefit very little from it.
2. Value[String] mostly because in a few places we are lazy.

We don’t have any code which benefits from being polymorphic in the
contract id type.

changelog_begin
changelog_end
2021-09-16 08:46:57 +00:00
..
daml-extension feature: persist script view config in worspace (#10521) 2021-08-09 18:24:14 +02:00
daml-lf-ast Desugar interface implements declarations (#10895) 2021-09-15 19:48:59 +00:00
daml-lf-proto interfaces: protobuf encoder haskell side (#10850) 2021-09-13 14:36:14 +00:00
daml-lf-reader DEL-8657 update version info for Haskell LF libraries (#10160) 2021-07-02 09:46:53 +10:00
daml-lf-tools interfaces: lf typechecker implementation (#10843) 2021-09-13 14:58:33 +02:00
daml-lf-verify Drop controller can syntax from compiler tests (#10807) 2021-09-08 15:28:09 +02:00
damlc Desugar interface implements declarations (#10895) 2021-09-15 19:48:59 +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 Drop controller can syntax from compiler tests (#10807) 2021-09-08 15:28:09 +02:00
repl-service Update rules_haskell (#10674) 2021-08-26 10:41:58 +02:00
scenario-service Drop ContractId typeparameter from Value (#10827) 2021-09-16 08:46:57 +00:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00: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.