daml/compiler/daml-lf-ast
Moritz Kiefer ab8b418b72
Add TO_TEXT_CONTRACT_ID primitive (#7137)
* Add TO_TEXT_CONTRACT_ID primitive

This is the first part of #7114.

This PR

* Adds the primitive to the protobuf.
* Handles decoding and encoding in Haskell and Scala.
* Handles typechecking in Haskell and Scala.
* Handles speedy compilation and interpretation in Scala.
* Updates the specification.

This PR does not yet change the standard library to make use of this
primitive.

changelog_begin
changelog_end

* Apply suggestions from code review

Co-authored-by: Remy <remy.haemmerle@daml.com>

* Avoid extra allocation

changelog_begin
changelog_end

Co-authored-by: Remy <remy.haemmerle@daml.com>
2020-08-17 08:39:16 +00:00
..
src/DA/Daml/LF Add TO_TEXT_CONTRACT_ID primitive (#7137) 2020-08-17 08:39:16 +00:00
test/DA/Daml/LF/Ast Inline typeclass projections. (#5759) 2020-05-11 16:48:27 +00:00
BUILD.bazel replace DAML Authors with DA in copyright headers (#5228) 2020-03-27 01:26:10 +01:00
daml-lf-ast.cabal update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00