digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 09:17:43 +03:00
Code Issues Projects Releases Wiki Activity

Engine: add missing spec for Enum (#2997)

Browse Source
This commit is contained in:
Remy 2019-09-26 09:08:46 +02:00 committed by GitHub
parent 78e08c2119
commit 8b0a45d79b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 28 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
daml-lf/spec/value.rst
View File

@ -4,7 +4,7 @@
DAML-LF Value Specification
===========================
**version 4, 2 April 2019**
**version 5, 29 May 2019**
The DAML-LF language includes ways to define *data types*,
specifications of structure, and includes rules by which a restricted
@ -157,6 +157,8 @@ This table lists every version of this specification in ascending order
+--------------------+-----------------+
| 4 | 2019-03-27 |
+--------------------+-----------------+
| 5 | 2019-05-29 |
+--------------------+-----------------+
message VersionedValue
^^^^^^^^^^^^^^^^^^^^^^
@ -234,6 +236,11 @@ As of version 4, may be any one of the above, or this:
* `message Map`_ map
*since version 5*
As of version 5, may be any one of the above, or this:
* `message Enum`_ enum
field contract_id
~~~~~~~~~~~~~~~~~
@ -524,10 +531,25 @@ message Map
A homogeneous map of values.
In this version, these fields are include:
In this version, these fields are included:
* repeated `message Map.Entry`_ entries
The ``value`` field of every member of ``entries`` must conform to the
same type. Furthermore,the ``key`` fields of the entries must be distinct.
Entries may occur in arbitrary order.
message Enum
^^^^^^^^^^^^
*since version 5*
An Enum value, a specialized form of variant without argument.
In this version, these fields are included:
* `message Identifier`_ enum_id
* ``string`` value
Only ``value`` is required, and it is required to be one of the values
of the enum type to which this ``message Enum`` conforms.

7
daml-lf/transaction/src/main/protobuf/com/digitalasset/daml/lf/value.proto
View File

@ -9,6 +9,7 @@
// * 2: new message Optional, incorporated into Value sum
// * 3: new message ContractId, replaces string contract_id in Value sum
// * 4: new message Map, incorporated into Value sum
// * 5: new message Enum, incorporated into Value sum
syntax = "proto3";
package com.digitalasset.daml.lf.value;
@ -63,13 +64,13 @@ message Value {
// https://www.ietf.org/rfc/rfc3339.txt
int32 date = 13;
Optional optional = 14;
Optional optional = 14; // *since v2*
ContractId contract_id_struct = 15;
Map map = 16;
Map map = 16; // *since v4*
Enum enum = 17;
Enum enum = 17; // *since v5*
}
}
// architecture-handbook-entry-end: Value