Moritz Kiefer 36e95f6cf3 Add Any type and to_any/from_any primitives to protobuf (#2930) ... * Add Any type and to_any/from_any primitives to protobuf Following a suggestion by Rémy, the protobuf representation is more general and is associated with an arbitrary type instead of a typecon. This allows us to easily extend this later to a full Any type. I’ve still called the type in the protobuf Any instead of Haskell’s Dynamic since I find AnyTemplate more clear than DynamicTemplate and having AnyTemplate and Dynamic seems confusing. Right now, the decoder enforces that the type is a TypeCon. * Fix some mistakes in the spec * Update daml-lf/spec/daml-lf-1.rst Co-Authored-By: Remy <remy.haemmerle@daml.com> * Update daml-lf/spec/daml-lf-1.rst Co-Authored-By: Remy <remy.haemmerle@daml.com> * Update daml-lf/spec/daml-lf-1.rst Co-Authored-By: Remy <remy.haemmerle@daml.com> * Update daml-lf/spec/daml-lf-1.rst Co-Authored-By: Remy <remy.haemmerle@daml.com> * Add evaluation rule for to_any_template * Update daml-lf/spec/daml-lf-1.rst Co-Authored-By: Remy <remy.haemmerle@daml.com>		2019-09-17 15:02:59 +02:00
..
src	Add Any type and to_any/from_any primitives to protobuf (#2930)	2019-09-17 15:02:59 +02:00
BUILD.bazel	update copyright notices (#2499)	2019-08-13 17:23:03 +01:00