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
89d95e6d6c
daml/compiler
History
nickchapman-da ebd3827c4a
Make UserId properly opaque by defining it as a variant (#12476) 
* Make UserId properly opaque by defining it as a variant instead of as a record.

changelog_begin
changelog_end

* hand coded Show instance for UserId

* rename: userName --> userIdToText
2022-01-19 17:53:44 +00:00
..
daml-extension Upgrade vsce and markdown-it (#12431) 2022-01-17 13:40:42 +00:00
daml-lf-ast update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
daml-lf-proto update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
daml-lf-reader update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
daml-lf-tools Add missing serializability checks for interfaces (#12483) 2022-01-19 17:24:46 +01:00
daml-lf-verify update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
damlc Make UserId properly opaque by defining it as a variant (#12476) 2022-01-19 17:53:44 +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 update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
repl-service Add eager timeouts to the polling functions used in daml start and assistant integration tests. (#12361) 2022-01-12 10:01:56 +00:00
scenario-service Remove user-management error cases from scenario-service proto. (#12460) 2022-01-19 10:44:04 +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.