daml/compiler/daml-lf-tools
Moisés Ackerman f59d1cd0b4
Convert experimental primitive TYPEREP_TYCON_NAME into proper LF builtin (#13465)
* Convert experimental primitive TYPEREP_TYCON_NAME into proper LF builtin

* Add entry for TYPEREP_TYCON_NAME in daml-lf spec

* disable quickcheck test in DA.Test.Packaging

changelog_begin
changelog_end
2022-03-31 14:35:46 +02:00
..
src/DA/Daml/LF Convert experimental primitive TYPEREP_TYCON_NAME into proper LF builtin (#13465) 2022-03-31 14:35:46 +02:00
tests/DA/Daml/LF/Simplifier update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
BUILD.bazel update copyright headers (#12240) 2022-01-03 16:36:51 +00:00