digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 17:28:46 +03:00
Code Issues Projects Releases Wiki Activity
4f18b1afa7
daml/compiler
History
Remy 4f18b1afa7 DAML-LF internal type safety (#1192) 
* Rename Value's ContractId to VContractId

* daml-lf: a bit more about PartyId

* daml-lf: Concatenable MatchingStringModule

* daml-lf make clear type used for Scenarios only

* daml-lf create ContractId, LedgerId, TransactionId

* sandbox-sql conversion util

* LedgerName -> LedgerString

* futher type cleanup in the sandbox

* daml-lf add test for LedgerString

* fixing tests

* a bit more safety in the DB

* Address Stephen's comments

* fix rebase

* More fixes for StringModule

* change length of LedgerString (256 -> 255)
2019-05-24 09:53:29 +00:00
..
daml-lf-ast Add coerce for contract ids to DAML-LF (#1346) 2019-05-24 09:08:15 +02:00
daml-lf-proto Add coerce for contract ids to DAML-LF (#1346) 2019-05-24 09:08:15 +02:00
daml-lf-tools Add coerce for contract ids to DAML-LF (#1346) 2019-05-24 09:08:15 +02:00
haskell-ide-core Fix an issue in module chasing caused by unnormalized file paths (#1303) 2019-05-22 11:58:22 +00:00
scenario-service DAML-LF internal type safety (#1192) 2019-05-24 09:53:29 +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.