LF: Release LF 1.13 (#9705)

CHANGELOG_BEGIN - LF: make LF 1.13 stable Add support for BigNumeric - Ledger API: Bump Ledger API version for LF 1.12 CHANGELOG_END
digital-asset · May 18, 2021 · 679ce3b · 679ce3b
1 parent 73c4793
commit 679ce3b
Show file tree

Hide file tree

Showing 9 changed files with 37 additions and 23 deletions.
diff --git a/daml-lf/engine/src/test/scala/com/digitalasset/daml/lf/engine/EngineInfoTest.scala b/daml-lf/engine/src/test/scala/com/digitalasset/daml/lf/engine/EngineInfoTest.scala
@@ -25,7 +25,7 @@ class EngineInfoTest extends AnyWordSpec with Matchers {
         "DAML LF Engine supports LF versions: 1.6, 1.7, 1.8"
 
       engineInfoStable.show shouldBe
-        "DAML LF Engine supports LF versions: 1.6, 1.7, 1.8, 1.11, 1.12"
+        "DAML LF Engine supports LF versions: 1.6, 1.7, 1.8, 1.11, 1.12, 1.13"
 
       engineEarlyAccess.show shouldBe
         "DAML LF Engine supports LF versions: 1.6, 1.7, 1.8, 1.11, 1.12, 1.13"

diff --git a/daml-lf/language/daml-lf.bzl b/daml-lf/language/daml-lf.bzl
@@ -1,17 +1,25 @@
 # Copyright (c) 2021 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
 # SPDX-License-Identifier: Apache-2.0
 
-# Stable and latest refers to the versions used by the compiler.
-# If we make a new LF release, we bump latest and once we make it the default
-# we bump stable.
-# The following dictionary is always defined for "legacy", "stable", "latest",
-# and "dev". It contains "preview" iff a preview version is available.
-# If exists "preview"'s value is guarantee to be different for all other values.
+# The following dictionary alias LF versions to keywords:
+# - "legacy" is the keyword for last LF version that supports legacy
+#    contract ID scheme,
+# - "stable" is the keyword for the default compiler output,
+# - "latest" is the keyword for the latest stable LF version,
+# - "preview" is the keyword fort he next LF version, *not stable*,
+#    usable for beta testing,
+# - "dev" is the keyword for the development version, *not stable*,
+#    usable for alpha testing.
+# The following dictionary is always defined for "legacy", "stable",
+# "latest", and "dev". It contains "preview" iff a preview version is
+# available.  If exists "preview"'s value is guarantee to be different
+# for all other values.  If we make a new LF release, we bump latest
+# and once we make it the compiler default we bump stable.
+
 lf_version_configuration = {
     "legacy": "1.8",
     "stable": "1.12",
-    "latest": "1.12",
-    "preview": "1.13",
+    "latest": "1.13",
     "dev": "1.dev",
 }
 
@@ -63,6 +71,7 @@ LF_VERSION_PACKAGE_DIGITALASSET = {
     "1.8": "digitalasset",
     "1.11": "daml",
     "1.12": "daml",
+    "1.13": "daml",
 }
 
 def lf_version_package(version):

diff --git a/daml-lf/language/src/main/scala/com/digitalasset/daml/lf/language/LanguageVersion.scala b/daml-lf/language/src/main/scala/com/digitalasset/daml/lf/language/LanguageVersion.scala
@@ -58,7 +58,7 @@ object LanguageVersion {
 
   // All the stable versions.
   val StableVersions: VersionRange[LanguageVersion] =
-    VersionRange(min = v1_6, max = v1_12)
+    VersionRange(min = v1_6, max = v1_13)
 
   // All versions compatible with legacy contract ID scheme.
   val LegacyVersions: VersionRange[LanguageVersion] =
@@ -67,7 +67,7 @@ object LanguageVersion {
   // All the stable and preview versions
   // Equals `Stable` if no preview version is available
   val EarlyAccessVersions: VersionRange[LanguageVersion] =
-    StableVersions.copy(max = v1_13)
+    StableVersions
 
   // All the versions
   val DevVersions: VersionRange[LanguageVersion] =

diff --git a/daml-lf/spec/daml-lf-1.rst b/daml-lf/spec/daml-lf-1.rst
@@ -235,26 +235,25 @@ Version: 1.12
     details
 
 
-Version: 1.13 (preview)
-.......................
+Version: 1.13
+.............
 
 * Introduction date:
 
      2021-04-06
 
 * Description:
 
-  + A BigNumeric
+  + **Add** Add BigNumeric support (arbitrary precision decimals).
+    - add `BigNumeric` primitive type
+    - add `RoundingMode` primitive type
+    - add `BigNumeric` builtins
 
 
 Version: 1.dev (development)
 ............................
 
   + **Add** exception handling.
-  + **Add** BigDecimal type.
-
-    - add `BigNumeric` primitive type
-    - add `RoundingMode` primitive type
 
 Abstract syntax
 ^^^^^^^^^^^^^^^

diff --git a/daml-lf/spec/transaction.rst b/daml-lf/spec/transaction.rst
@@ -181,7 +181,7 @@ later.
 +--------------------+-----------------+
 |                 12 |      2021-01-27 |
 +--------------------+-----------------+
-|       (preview) 13 |      2021-04-06 |
+|                 13 |      2021-04-06 |
 +--------------------+-----------------+
 |                dev |      2020-12-14 |
 +--------------------+-----------------+

diff --git a/daml-lf/spec/value.rst b/daml-lf/spec/value.rst
@@ -4,7 +4,7 @@
 Daml-LF Value Specification
 ===========================
 
-**version 10, 10 Dec 2020**
+**version 13, 06 April 2021**
 
 The Daml-LF language includes ways to define *data types*,
 specifications of structure, and includes rules by which a restricted
@@ -160,6 +160,8 @@ later.
 +--------------------+-----------------+
 |                 12 |      2021-01-27 |
 +--------------------+-----------------+
+|                 13 |      2021-04-06 |
++--------------------+-----------------+
 |                dev |      2019-12-14 |
 +--------------------+-----------------+
 

diff --git a/docs/source/support/compatibility.rst b/docs/source/support/compatibility.rst
@@ -43,6 +43,8 @@ The below lists with which Daml Connect version a new Ledger API version was int
 
    * - Ledger API Version
      - Daml Connect Version
+   * - 1.11
+     - 1.14
    * - 1.10
      - 1.11
    * - 1.9

diff --git a/ledger-api/VERSION b/ledger-api/VERSION
@@ -1,2 +1,2 @@
-1.10.0
+1.11.0
 # If you update this, also update docs/source/support/compatibility.rst
diff --git a/ledger/ledger-api-test-tool-on-canton/BUILD.bazel b/ledger/ledger-api-test-tool-on-canton/BUILD.bazel
@@ -63,7 +63,8 @@ conformance_test(
     ],
     lf_versions = [
         "stable",
-        "latest",
+        # FIXME: add latest once canton-test-runner supports LF 1.13
+        #  "latest",
     ],
     ports = [
         5011,
@@ -103,7 +104,8 @@ conformance_test(
     ],
     lf_versions = [
         "stable",
-        "latest",
+        # FIXME: add latest once canton-test-runner supports LF 1.13
+        #  "latest",
     ],
     ports = [
         5011,