daml/daml-lf/validation
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 Remove dependencies on compatibility libraries (#12548) 2022-01-24 18:04:07 +00:00