daml/daml-lf/language
Moisés Ackerman 3ce272b9f0
Replace experimental interface primitives with proper LF primitives (#12678)
* Add new primitives to proto spec

* implement E{Signatory,Observer}Interface in terms of EResolveVirtual{Signatory,Observer}

* define EToTypeRep primitive in terms of EToTypeRep Expr

* Remove experimental primitives TO_TYPE_REP and RESOLVE_VIRTUAL_{SIGNATORY,OBSERVER} 

changelog_begin
changelog_end
2022-02-03 13:36:45 +00:00
..
src Replace experimental interface primitives with proper LF primitives (#12678) 2022-02-03 13:36:45 +00:00
BUILD.bazel Replace silencer plugin with built-in warning configuration (#12543) 2022-01-24 15:01:35 +00:00
daml-lf.bzl update copyright headers (#12240) 2022-01-03 16:36:51 +00:00