mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 01:07:18 +03:00
[LF] final renumbering of archive proto (#18651)
This commit is contained in:
parent
66d83e433d
commit
644f5702c3
@ -255,9 +255,7 @@ decodeDefValueNameWithType LF2.DefValue_NameWithType{..} = (,)
|
||||
<*> mayDecode "defValueType" defValue_NameWithTypeType decodeType
|
||||
|
||||
decodeDefValue :: LF2.DefValue -> Decode DefValue
|
||||
decodeDefValue (LF2.DefValue mbBinder mbBody noParties isTest mbLoc) = do
|
||||
when (not noParties) $
|
||||
throwError (ParseError "DefValue uses unsupported no_party_literals flag")
|
||||
decodeDefValue (LF2.DefValue mbLoc mbBinder mbBody isTest) = do
|
||||
DefValue
|
||||
<$> traverse decodeLocation mbLoc
|
||||
<*> mayDecode "defValueName" mbBinder decodeDefValueNameWithType
|
||||
|
@ -557,7 +557,7 @@ encodeExpr' = \case
|
||||
pureExpr $ P.ExprSumOptionalNone P.Expr_OptionalNone{..}
|
||||
ESome typ body -> do
|
||||
expr_OptionalSomeType <- encodeType typ
|
||||
expr_OptionalSomeBody <- encodeExpr body
|
||||
expr_OptionalSomeValue <- encodeExpr body
|
||||
pureExpr $ P.ExprSumOptionalSome P.Expr_OptionalSome{..}
|
||||
EToAny ty body -> do
|
||||
expr_ToAnyType <- encodeType ty
|
||||
@ -836,7 +836,6 @@ encodeDefValue DefValue{..} = do
|
||||
defValue_NameWithTypeType <- encodeType (snd dvalBinder)
|
||||
let defValueNameWithType = Just P.DefValue_NameWithType{..}
|
||||
defValueExpr <- encodeExpr dvalBody
|
||||
let defValueNoPartyLiterals = True
|
||||
let defValueIsTest = getIsTest dvalIsTest
|
||||
defValueLocation <- traverse encodeSourceLoc dvalLocation
|
||||
pure P.DefValue{..}
|
||||
@ -951,7 +950,6 @@ encodeDefInterface DefInterface{..} = do
|
||||
defInterfaceMethods <- encodeNameMap encodeInterfaceMethod intMethods
|
||||
defInterfaceParamInternedStr <- encodeNameId unExprVarName intParam
|
||||
defInterfaceChoices <- encodeNameMap encodeTemplateChoice intChoices
|
||||
let defInterfaceCoImplements = mempty
|
||||
defInterfaceView <- encodeType intView
|
||||
pure $ P.DefInterface{..}
|
||||
|
||||
|
@ -459,7 +459,7 @@ natSynTCon = LF.Qualified
|
||||
, qualObject = LF.TypeConName [tconName]
|
||||
}
|
||||
where
|
||||
packageId = "ce33df2997d69e8ac89f00951c322753e60abccdfdd92d47d804518a2029748f"
|
||||
packageId = "e5411f3d75f072b944bd88e652112a14a3d409c491fd9a51f5f6eede6d3a3348"
|
||||
moduleName = ["DA", "Internal", "NatSyn"]
|
||||
tconName = "NatSyn"
|
||||
|
||||
|
@ -115,7 +115,7 @@ preconditionFailedTypeCon major = Qualified
|
||||
where
|
||||
-- We cannot look up these stable IDs using stablePackageByModuleName because
|
||||
-- it would introduce a cyclic dependency with StablePackages.
|
||||
packageId V2 = "9c64df81897c6b98c86063b3a2a4503d756bb7994f06c290ea3d6ad719b76c72"
|
||||
packageId V2 = "91e167fa7a256f21f990c526a0a0df840e99aeef0e67dc1f5415b0309486de74"
|
||||
|
||||
mkPreconditionFailed :: MajorVersion -> Expr -> Expr
|
||||
mkPreconditionFailed major msg = ERecCon
|
||||
|
@ -1,34 +1,34 @@
|
||||
0666be83b003662191626f05b932564c9af6d4af7e577c33832f0c62d7b51a90 META-INF/MANIFEST.MF
|
||||
af53bfb744c41db01eb8066a4f2485bab8af7444206202213be5a37dc0e2f36d platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/compiler/damlc/tests/PlatformIndependence.daml
|
||||
0000000000000000000000000000000000000000000000000000000000000000 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/compiler/damlc/tests/PlatformIndependence.hi
|
||||
0000000000000000000000000000000000000000000000000000000000000000 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/compiler/damlc/tests/PlatformIndependence.hie
|
||||
7928f602364c99aa1c48ada15dad364048b9e5a860df7ca0bf937ca5fd299030 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-538f3d7fae1067e510ac6260a9fa29a2750f39ef5dfd21ed8d900e0b1e1005d4.dalf
|
||||
2f3262c0453690074aee10043daadb2f8a407426ff9a1a71be03570f00e487c0 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-DA-Exception-ArithmeticError-ded2974feb90808a03199cad3355a505bf930a717456a85cd7ac6b03ace303c9.dalf
|
||||
8c2692691f544d4c8ea1bd94c5a2ba81f468b3f6c52b130a5e1fe34caa90c04e platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-DA-Exception-AssertionFailed-5548421c4a31fac59b22505f2216177920df47059071a34da3f8d8c07dfeb7f6.dalf
|
||||
218ea7c1db44ac6c32de913dfc27a971ebb3e97c959222dc38e218a2b15b6f33 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-DA-Exception-GeneralError-449a5a5c62a70ef892325acbd396b77eab3fd5e1e8cb780df40c856bb22a23ea.dalf
|
||||
dcb50d094ac1396ecb3b868e09fb2812415010152833ccd3cf9d85949650a1c5 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-DA-Exception-PreconditionFailed-9c64df81897c6b98c86063b3a2a4503d756bb7994f06c290ea3d6ad719b76c72.dalf
|
||||
16eb958c533d0a00c6f1e69c93423fcb15dab190ef69ccfc80feeec728ee1cec platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-DA-Internal-Erased-a486f9d83acf91ddcb27a9a8743c042f310beab20be676cfc37220961df03900.dalf
|
||||
4576ca942d474e864aedf4343320f56a788572841556cbe0eb215bfce33ebc69 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-DA-Internal-NatSyn-ce33df2997d69e8ac89f00951c322753e60abccdfdd92d47d804518a2029748f.dalf
|
||||
e8c93371a03ccd37e9c67e17f87c2df1a96f2b3fcbb213bf003b13f510c252ae platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-DA-Internal-PromotedText-ad8708bc34bce0096a8f43500940f0d62fbf947aed8484efa92dc6ae2f9126ac.dalf
|
||||
3037d319829c3608f7549a0d877895a714319f7eac16a49a4eda70361be401dc platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-DA-Types-26b14ad5a8a2ed45d75e3c774aeb1c41a918ef2f4a7d2bd40f9716f26c46bfdf.dalf
|
||||
10939bf4347bbca9f7fdefe5d3383c9ce1dd424f2fc6a8f71a6381e348d92043 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-GHC-Prim-574f715baa8298bf09261ba87a77589f5aeef88e12b7b672cb80c4d2604035fa.dalf
|
||||
5a7833127c2818bb0620f5fbf3376c96b3de33abd5c61b3ce883d7d30479e45d platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-GHC-Tuple-9c1f8a2f36dfdbf1f30087c75e654fa39cb5fc614503979485b263f70a2e5422.dalf
|
||||
c3d3364cf4d751b71086b2edd7be056a44bf5ea18571a988d96127e38352f84f platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-prim-GHC-Types-48b29a202dfd2b7c892f113aff1e70ff124059df9f756af4bcf1faf75fc41b19.dalf
|
||||
cf1756e65ccb7e3a09e77e7b5a75db77e513c80d231c8eb609b11ee74552522b platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-0.0.0-abce88cb104b25e125c34a6497082987a47ed7c7570775051a39108709d6d709.dalf
|
||||
8bc87ff403f9c84a84b756f6b02ae70e2d3f5964caf98b6486e06625e215f543 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Action-State-Type-1bf85ad08ef3be26f2d8a864b4bf907f38f65051ddaa18bf1ec5872756010276.dalf
|
||||
36fee891c0b761d9e87295ef6b13e753012c9ddb736da0300e5873f847e427b5 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Date-Types-001109f95f991bea2ce8d641c2188d9f8c9d2909786549ba6d652024b3680e63.dalf
|
||||
1684bb7c7ab4e6347cd96214094e8ccb4fa093723a8435cdc23a24b240b64541 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Internal-Any-053b10c09112715e460733385963e120a75768abf5a5539428a6437017792e65.dalf
|
||||
542e381674c79e57f03c2ae970aa83bfc0dc425d64b474747270f5eefeb26df2 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Internal-Down-54abeb11f0eed3da544d37cbad04d8f866d83acba977bb014b3e346f2eb9e551.dalf
|
||||
6a44846b639d7d22e4f16fa33d0dc218d1059e215166c48ae4a2b0980bffda93 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Internal-Interface-AnyView-Types-2513dbd49a110892bfbfdad4bd0b5aef82e34979d59529c1f7e74b425e561977.dalf
|
||||
52c83f554ea5d1e794444187d30bd7f1e380cf4eedbafcc7088ca509daac63b0 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Internal-Template-ace2eb6a9cd13bca35ce7f068b942ab5c47987eed34efea52470b3aa0458a2f5.dalf
|
||||
85c23d635d2387551fc87a0f5fb26abaf0d5b2167331fe2a0ab9196f221aa2fb platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Logic-Types-edb5aeef08a062be44018bcd548d8141951fcadc6705e483fa7e62d908d84dea.dalf
|
||||
fc523b9e5f85988b4ae7de42f77d5c8aa08ad56d0f1f014356f7f35ee128f86d platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Monoid-Types-c6ac07a6623e57d226f3289e934c22cd251dda95eb1d82108374023a7e032254.dalf
|
||||
4ea17d86244accc0c7c3c076ea5da34b5185abd896cf83a52d4052c11b6ceddc platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-NonEmpty-Types-d6ae362400b05ec4ed649cc313f5e5bb06a1fed92cce72589ec8ee45573962dc.dalf
|
||||
2333c40cb596989103d206a5d3e15b890effe5f67749c3e4933bc8349ee60b7e platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Random-Types-c8463c6500cba09d1f52d6851f94882ebfe8b0d9c782291e98f483f8c21e7ae2.dalf
|
||||
8c7c5091ab4bef5bfffd01b00766355455c090c3da83146d76a5a2d1c20388ae platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Semigroup-Types-8bf075ed0f9b502294940d256cadace47e71b7adfa7cce854c1829c2bddf241f.dalf
|
||||
76fdc48834bee96e61f21d3762da9368420759e95ab4b122850ff7a1f11a8609 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Set-Types-9511092860971d9c6ba81c73fed994a3670e5279d5bf193e4bbb02063281dab7.dalf
|
||||
3bf257ed7898172c66bb681381e62e0b26ee9bf49ecc64c2924bb844fab58cb6 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Stack-Types-5ba9b13b8f42b1d5d0cdbea93247c8816bfabd2101a9c5972b6852a3151f7100.dalf
|
||||
e5e00dcf1d9adfc6dbc7db72a7a72fc59a7fc121ca1e192fbef84b5419182569 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Time-Types-13f71afbf5d73853a854c2ad9269e47acf5a94c2f533141b5522542f66e86526.dalf
|
||||
0826951e866996f00a7cb060d897363e6edd9284a79956353e8208a0100c05c7 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/daml-stdlib-DA-Validation-Types-7851ba55b61ff1efd2dc04e55093ba273843501d3cb792c5be6e983e94530dd2.dalf
|
||||
fe6c4631c87085dc74d6b3307b59acde69db8c3a1a58740dd71ece3c78464c81 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/data/platform-independence-1.0.0.conf
|
||||
a16f799806129853725c1efab485ecbaf104a21486848daf0e5260eff9e05c75 platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d/platform-independence-1.0.0-2c8e3d959c892469e397ebeeb574848be03f44ba58a56ec02382fff65c4a292d.dalf
|
||||
d8dc0a2591c748a6d971a14018f6c076d4a35bec5f3ab7a50af68e117b30d221 META-INF/MANIFEST.MF
|
||||
af53bfb744c41db01eb8066a4f2485bab8af7444206202213be5a37dc0e2f36d platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/compiler/damlc/tests/PlatformIndependence.daml
|
||||
0000000000000000000000000000000000000000000000000000000000000000 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/compiler/damlc/tests/PlatformIndependence.hi
|
||||
0000000000000000000000000000000000000000000000000000000000000000 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/compiler/damlc/tests/PlatformIndependence.hie
|
||||
bb828ccb15d06cf91985c5be842b0d66f35349064319ce658d64b5fd7b492910 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-2857149df3c364fa3c3fc677d2a40c693b1a1d106a16ba5325f247b1a76c7f38.dalf
|
||||
5b367b37fe8430dbc1cffc69c24f48d43e6c11ed16c2a48d0e775be6c3cd3fa2 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-DA-Exception-ArithmeticError-ee33fb70918e7aaa3d3fc44d64a399fb2bf5bcefc54201b1690ecd448551ba88.dalf
|
||||
98c16c8dfd84c1241922d7fa93d5860b87ee93c7d0346c87bf7c76710cf5fd2d platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-DA-Exception-AssertionFailed-6da1f43a10a179524e840e7288b47bda213339b0552d92e87ae811e52f59fc0e.dalf
|
||||
aed72dfe7eb325ad9aaafa1a19ba7f34bf93992d62fe78e7c8a27432546ea56e platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-DA-Exception-GeneralError-f181cd661f7af3a60bdaae4b0285a2a67beb55d6910fc8431dbae21a5825ec0f.dalf
|
||||
cc51cb400519000f2dc3a2bd893dcc269546f42c2ff2e04aa0293f9595ffb099 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-DA-Exception-PreconditionFailed-91e167fa7a256f21f990c526a0a0df840e99aeef0e67dc1f5415b0309486de74.dalf
|
||||
2f671fa9f93604a9cd7520e6f343a56a8f58b038195fe9dd8fa2bf7fca4a8118 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-DA-Internal-Erased-0e4a572ab1fb94744abb02243a6bbed6c78fc6e3c8d3f60c655f057692a62816.dalf
|
||||
67930dd5a0bd139c344935939d9903c5d6d93a326f7bec248f3a1180eff682e7 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-DA-Internal-NatSyn-e5411f3d75f072b944bd88e652112a14a3d409c491fd9a51f5f6eede6d3a3348.dalf
|
||||
a260a743f3732429f294092f0b36703f28739e471d8da367e6178b636e815b53 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-DA-Internal-PromotedText-ab068e2f920d0e06347975c2a342b71f8b8e3b4be0f02ead9442caac51aa8877.dalf
|
||||
bef5523d20b5bb3e608423caf03bb62b5c40ba759a646e0055d93bdc80a166a3 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-DA-Types-5aee9b21b8e9a4c4975b5f4c4198e6e6e8469df49e2010820e792f393db870f4.dalf
|
||||
bac571bea0ef93a7c34eb2ff9c2de98aa035d04b65c8d01f7cf5ae911fbe91ca platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-GHC-Prim-fcee8dfc1b81c449b421410edd5041c16ab59c45bbea85bcb094d1b17c3e9df7.dalf
|
||||
a857d76904ee3a8344ecc739edae5bb5ae93373a1a3bb777454afcd5006b5e7a platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-GHC-Tuple-19f0df5fdaf5a96e137b6ea885fdb378f37bd3166bd9a47ee11518e33fa09a20.dalf
|
||||
a298eed9572d98da051d99f4b1b522dbbfea5665cee948ff450a0487be2aeddd platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-prim-GHC-Types-e7e0adfa881e7dbbb07da065ae54444da7c4bccebcb8872ab0cb5dcf9f3761ce.dalf
|
||||
8f13b7e12ce3c53308b9742a1a5051c69d8c87b070c4a38bc218051cfe67a447 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-0.0.0-5480fa575aa0cd73312d1ab0bb33453e1f779dda0447a5d11648ddb091010453.dalf
|
||||
4619339c51f1069ca6a07474bcb0f8ecb9c4b77bf5ca7d6a246712d636c0c796 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Action-State-Type-a1fa18133ae48cbb616c4c148e78e661666778c3087d099067c7fe1868cbb3a1.dalf
|
||||
4fc3e91abda9caf95390da16fa7267803e88d52540513078a3e87d1a56639fa6 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Date-Types-fa79192fe1cce03d7d8db36471dde4cf6c96e6d0f07e1c391dd49e355af9b38c.dalf
|
||||
db6bf950ebba81f55305bb0cc09dfa6d9d226fcb116dfea087a8c8c4afc0841a platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Internal-Any-6f8e6085f5769861ae7a40dccd618d6f747297d59b37cab89b93e2fa80b0c024.dalf
|
||||
8713e809627225804d9ec8cf5f244f696a682c909760762d5543431002a2db69 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Internal-Down-86d888f34152dae8729900966b44abcb466b9c111699678de58032de601d2b04.dalf
|
||||
eda925616a15f843a6f04bd677377b07efe48e75fcdde7cfb16e611c7a913cd9 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Internal-Interface-AnyView-Types-c280cc3ef501d237efa7b1120ca3ad2d196e089ad596b666bed59a85f3c9a074.dalf
|
||||
d16cc72b5fa04d1ceade89a65fd5e5e26cabb7b271254548cd1f4d2164812d87 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Internal-Template-9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69.dalf
|
||||
4c6edf633b367a196e0d8f3749626206e65bd3134e5331fae41b726e50b9d5df platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Logic-Types-cae345b5500ef6f84645c816f88b9f7a85a9f3c71697984abdf6849f81e80324.dalf
|
||||
e969d7b1a5c1271e8113d4cab7794bae3be678f53748fe93ff688df0343c584c platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Monoid-Types-52854220dc199884704958df38befd5492d78384a032fd7558c38f00e3d778a2.dalf
|
||||
288ad8f4dd0d8971d6c0fd120edcd611a89ecad955c5ac9d7a06e77f80a2b6ea platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-NonEmpty-Types-bde4bd30749e99603e5afa354706608601029e225d4983324d617825b634253a.dalf
|
||||
91b712f0940ada408419f785ab47901886a431075e2f3a9178dd8058dc17499d platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Random-Types-bfda48f9aa2c89c895cde538ec4b4946c7085959e031ad61bde616b9849155d7.dalf
|
||||
a593b782fca59f9b86ecd526c1e679ea28866e472081b0c68795dfcfdc9ec5e7 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Semigroup-Types-d095a2ccf6dd36b2415adc4fa676f9191ba63cd39828dc5207b36892ec350cbc.dalf
|
||||
5fe3810e2722629fb251fa813ed98ee539f90733055ca573a0ecf5f7cc435317 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Set-Types-c3bb0c5d04799b3f11bad7c3c102963e115cf53da3e4afcbcfd9f06ebd82b4ff.dalf
|
||||
b0c108d8863653cfecfc2442321ac6092a0945654a7d7c8343f7c16fd56a8081 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Stack-Types-60c61c542207080e97e378ab447cc355ecc47534b3a3ebbff307c4fb8339bc4d.dalf
|
||||
d1951ee045378e8b874a4a3aa5466d810f5ca6a60cb3e8f49d28338f1bea6f2c platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Time-Types-b70db8369e1c461d5c70f1c86f526a29e9776c655e6ffc2560f95b05ccb8b946.dalf
|
||||
e311651bb4bfd90d1555c47488d4d02ac7f9774062bcf90ef097faff60b11481 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/daml-stdlib-DA-Validation-Types-3cde94fe9be5c700fc1d9a8ad2277e2c1214609f8c52a5b4db77e466875b8cb7.dalf
|
||||
f3617d917a5d0501b222fa34aff072d8a682690a75700ba8865bd079c2a988c8 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/data/platform-independence-1.0.0.conf
|
||||
c0c7bce748743002a9e32f62ddd33de1ae8380eb26ed5e43475def04aa632b43 platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966/platform-independence-1.0.0-2055e25616d9f2e0b4da677bd3437b08ae6866cfc311902f7f63d3a609d20966.dalf
|
||||
|
@ -38,31 +38,31 @@ $DAMLC build --target=2.dev --project-root $DIR -o $DIR/out.dar
|
||||
# an empty package
|
||||
$DIFF -u -b <($DAMLC inspect-dar $DIR/out.dar | sed '1,/following packages/d' | head -n -1) <(cat <<EOF
|
||||
|
||||
daml-prim-DA-Exception-ArithmeticError-ded2974feb90808a03199cad3355a505bf930a717456a85cd7ac6b03ace303c9 "ded2974feb90808a03199cad3355a505bf930a717456a85cd7ac6b03ace303c9"
|
||||
daml-prim-DA-Exception-AssertionFailed-5548421c4a31fac59b22505f2216177920df47059071a34da3f8d8c07dfeb7f6 "5548421c4a31fac59b22505f2216177920df47059071a34da3f8d8c07dfeb7f6"
|
||||
daml-prim-DA-Exception-GeneralError-449a5a5c62a70ef892325acbd396b77eab3fd5e1e8cb780df40c856bb22a23ea "449a5a5c62a70ef892325acbd396b77eab3fd5e1e8cb780df40c856bb22a23ea"
|
||||
daml-prim-DA-Exception-PreconditionFailed-9c64df81897c6b98c86063b3a2a4503d756bb7994f06c290ea3d6ad719b76c72 "9c64df81897c6b98c86063b3a2a4503d756bb7994f06c290ea3d6ad719b76c72"
|
||||
daml-prim-DA-Internal-Erased-a486f9d83acf91ddcb27a9a8743c042f310beab20be676cfc37220961df03900 "a486f9d83acf91ddcb27a9a8743c042f310beab20be676cfc37220961df03900"
|
||||
daml-prim-DA-Internal-NatSyn-ce33df2997d69e8ac89f00951c322753e60abccdfdd92d47d804518a2029748f "ce33df2997d69e8ac89f00951c322753e60abccdfdd92d47d804518a2029748f"
|
||||
daml-prim-DA-Internal-PromotedText-ad8708bc34bce0096a8f43500940f0d62fbf947aed8484efa92dc6ae2f9126ac "ad8708bc34bce0096a8f43500940f0d62fbf947aed8484efa92dc6ae2f9126ac"
|
||||
daml-prim-DA-Types-26b14ad5a8a2ed45d75e3c774aeb1c41a918ef2f4a7d2bd40f9716f26c46bfdf "26b14ad5a8a2ed45d75e3c774aeb1c41a918ef2f4a7d2bd40f9716f26c46bfdf"
|
||||
daml-prim-GHC-Prim-574f715baa8298bf09261ba87a77589f5aeef88e12b7b672cb80c4d2604035fa "574f715baa8298bf09261ba87a77589f5aeef88e12b7b672cb80c4d2604035fa"
|
||||
daml-prim-GHC-Tuple-9c1f8a2f36dfdbf1f30087c75e654fa39cb5fc614503979485b263f70a2e5422 "9c1f8a2f36dfdbf1f30087c75e654fa39cb5fc614503979485b263f70a2e5422"
|
||||
daml-prim-GHC-Types-48b29a202dfd2b7c892f113aff1e70ff124059df9f756af4bcf1faf75fc41b19 "48b29a202dfd2b7c892f113aff1e70ff124059df9f756af4bcf1faf75fc41b19"
|
||||
daml-stdlib-DA-Action-State-Type-1bf85ad08ef3be26f2d8a864b4bf907f38f65051ddaa18bf1ec5872756010276 "1bf85ad08ef3be26f2d8a864b4bf907f38f65051ddaa18bf1ec5872756010276"
|
||||
daml-stdlib-DA-Date-Types-001109f95f991bea2ce8d641c2188d9f8c9d2909786549ba6d652024b3680e63 "001109f95f991bea2ce8d641c2188d9f8c9d2909786549ba6d652024b3680e63"
|
||||
daml-stdlib-DA-Internal-Any-053b10c09112715e460733385963e120a75768abf5a5539428a6437017792e65 "053b10c09112715e460733385963e120a75768abf5a5539428a6437017792e65"
|
||||
daml-stdlib-DA-Internal-Down-54abeb11f0eed3da544d37cbad04d8f866d83acba977bb014b3e346f2eb9e551 "54abeb11f0eed3da544d37cbad04d8f866d83acba977bb014b3e346f2eb9e551"
|
||||
daml-stdlib-DA-Internal-Interface-AnyView-Types-2513dbd49a110892bfbfdad4bd0b5aef82e34979d59529c1f7e74b425e561977 "2513dbd49a110892bfbfdad4bd0b5aef82e34979d59529c1f7e74b425e561977"
|
||||
daml-stdlib-DA-Internal-Template-ace2eb6a9cd13bca35ce7f068b942ab5c47987eed34efea52470b3aa0458a2f5 "ace2eb6a9cd13bca35ce7f068b942ab5c47987eed34efea52470b3aa0458a2f5"
|
||||
daml-stdlib-DA-Logic-Types-edb5aeef08a062be44018bcd548d8141951fcadc6705e483fa7e62d908d84dea "edb5aeef08a062be44018bcd548d8141951fcadc6705e483fa7e62d908d84dea"
|
||||
daml-stdlib-DA-Monoid-Types-c6ac07a6623e57d226f3289e934c22cd251dda95eb1d82108374023a7e032254 "c6ac07a6623e57d226f3289e934c22cd251dda95eb1d82108374023a7e032254"
|
||||
daml-stdlib-DA-NonEmpty-Types-d6ae362400b05ec4ed649cc313f5e5bb06a1fed92cce72589ec8ee45573962dc "d6ae362400b05ec4ed649cc313f5e5bb06a1fed92cce72589ec8ee45573962dc"
|
||||
daml-stdlib-DA-Random-Types-c8463c6500cba09d1f52d6851f94882ebfe8b0d9c782291e98f483f8c21e7ae2 "c8463c6500cba09d1f52d6851f94882ebfe8b0d9c782291e98f483f8c21e7ae2"
|
||||
daml-stdlib-DA-Semigroup-Types-8bf075ed0f9b502294940d256cadace47e71b7adfa7cce854c1829c2bddf241f "8bf075ed0f9b502294940d256cadace47e71b7adfa7cce854c1829c2bddf241f"
|
||||
daml-stdlib-DA-Set-Types-9511092860971d9c6ba81c73fed994a3670e5279d5bf193e4bbb02063281dab7 "9511092860971d9c6ba81c73fed994a3670e5279d5bf193e4bbb02063281dab7"
|
||||
daml-stdlib-DA-Stack-Types-5ba9b13b8f42b1d5d0cdbea93247c8816bfabd2101a9c5972b6852a3151f7100 "5ba9b13b8f42b1d5d0cdbea93247c8816bfabd2101a9c5972b6852a3151f7100"
|
||||
daml-stdlib-DA-Time-Types-13f71afbf5d73853a854c2ad9269e47acf5a94c2f533141b5522542f66e86526 "13f71afbf5d73853a854c2ad9269e47acf5a94c2f533141b5522542f66e86526"
|
||||
daml-stdlib-DA-Validation-Types-7851ba55b61ff1efd2dc04e55093ba273843501d3cb792c5be6e983e94530dd2 "7851ba55b61ff1efd2dc04e55093ba273843501d3cb792c5be6e983e94530dd2"
|
||||
daml-prim-DA-Exception-ArithmeticError-ee33fb70918e7aaa3d3fc44d64a399fb2bf5bcefc54201b1690ecd448551ba88 "ee33fb70918e7aaa3d3fc44d64a399fb2bf5bcefc54201b1690ecd448551ba88"
|
||||
daml-prim-DA-Exception-AssertionFailed-6da1f43a10a179524e840e7288b47bda213339b0552d92e87ae811e52f59fc0e "6da1f43a10a179524e840e7288b47bda213339b0552d92e87ae811e52f59fc0e"
|
||||
daml-prim-DA-Exception-GeneralError-f181cd661f7af3a60bdaae4b0285a2a67beb55d6910fc8431dbae21a5825ec0f "f181cd661f7af3a60bdaae4b0285a2a67beb55d6910fc8431dbae21a5825ec0f"
|
||||
daml-prim-DA-Exception-PreconditionFailed-91e167fa7a256f21f990c526a0a0df840e99aeef0e67dc1f5415b0309486de74 "91e167fa7a256f21f990c526a0a0df840e99aeef0e67dc1f5415b0309486de74"
|
||||
daml-prim-DA-Internal-Erased-0e4a572ab1fb94744abb02243a6bbed6c78fc6e3c8d3f60c655f057692a62816 "0e4a572ab1fb94744abb02243a6bbed6c78fc6e3c8d3f60c655f057692a62816"
|
||||
daml-prim-DA-Internal-NatSyn-e5411f3d75f072b944bd88e652112a14a3d409c491fd9a51f5f6eede6d3a3348 "e5411f3d75f072b944bd88e652112a14a3d409c491fd9a51f5f6eede6d3a3348"
|
||||
daml-prim-DA-Internal-PromotedText-ab068e2f920d0e06347975c2a342b71f8b8e3b4be0f02ead9442caac51aa8877 "ab068e2f920d0e06347975c2a342b71f8b8e3b4be0f02ead9442caac51aa8877"
|
||||
daml-prim-DA-Types-5aee9b21b8e9a4c4975b5f4c4198e6e6e8469df49e2010820e792f393db870f4 "5aee9b21b8e9a4c4975b5f4c4198e6e6e8469df49e2010820e792f393db870f4"
|
||||
daml-prim-GHC-Prim-fcee8dfc1b81c449b421410edd5041c16ab59c45bbea85bcb094d1b17c3e9df7 "fcee8dfc1b81c449b421410edd5041c16ab59c45bbea85bcb094d1b17c3e9df7"
|
||||
daml-prim-GHC-Tuple-19f0df5fdaf5a96e137b6ea885fdb378f37bd3166bd9a47ee11518e33fa09a20 "19f0df5fdaf5a96e137b6ea885fdb378f37bd3166bd9a47ee11518e33fa09a20"
|
||||
daml-prim-GHC-Types-e7e0adfa881e7dbbb07da065ae54444da7c4bccebcb8872ab0cb5dcf9f3761ce "e7e0adfa881e7dbbb07da065ae54444da7c4bccebcb8872ab0cb5dcf9f3761ce"
|
||||
daml-stdlib-DA-Action-State-Type-a1fa18133ae48cbb616c4c148e78e661666778c3087d099067c7fe1868cbb3a1 "a1fa18133ae48cbb616c4c148e78e661666778c3087d099067c7fe1868cbb3a1"
|
||||
daml-stdlib-DA-Date-Types-fa79192fe1cce03d7d8db36471dde4cf6c96e6d0f07e1c391dd49e355af9b38c "fa79192fe1cce03d7d8db36471dde4cf6c96e6d0f07e1c391dd49e355af9b38c"
|
||||
daml-stdlib-DA-Internal-Any-6f8e6085f5769861ae7a40dccd618d6f747297d59b37cab89b93e2fa80b0c024 "6f8e6085f5769861ae7a40dccd618d6f747297d59b37cab89b93e2fa80b0c024"
|
||||
daml-stdlib-DA-Internal-Down-86d888f34152dae8729900966b44abcb466b9c111699678de58032de601d2b04 "86d888f34152dae8729900966b44abcb466b9c111699678de58032de601d2b04"
|
||||
daml-stdlib-DA-Internal-Interface-AnyView-Types-c280cc3ef501d237efa7b1120ca3ad2d196e089ad596b666bed59a85f3c9a074 "c280cc3ef501d237efa7b1120ca3ad2d196e089ad596b666bed59a85f3c9a074"
|
||||
daml-stdlib-DA-Internal-Template-9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69 "9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69"
|
||||
daml-stdlib-DA-Logic-Types-cae345b5500ef6f84645c816f88b9f7a85a9f3c71697984abdf6849f81e80324 "cae345b5500ef6f84645c816f88b9f7a85a9f3c71697984abdf6849f81e80324"
|
||||
daml-stdlib-DA-Monoid-Types-52854220dc199884704958df38befd5492d78384a032fd7558c38f00e3d778a2 "52854220dc199884704958df38befd5492d78384a032fd7558c38f00e3d778a2"
|
||||
daml-stdlib-DA-NonEmpty-Types-bde4bd30749e99603e5afa354706608601029e225d4983324d617825b634253a "bde4bd30749e99603e5afa354706608601029e225d4983324d617825b634253a"
|
||||
daml-stdlib-DA-Random-Types-bfda48f9aa2c89c895cde538ec4b4946c7085959e031ad61bde616b9849155d7 "bfda48f9aa2c89c895cde538ec4b4946c7085959e031ad61bde616b9849155d7"
|
||||
daml-stdlib-DA-Semigroup-Types-d095a2ccf6dd36b2415adc4fa676f9191ba63cd39828dc5207b36892ec350cbc "d095a2ccf6dd36b2415adc4fa676f9191ba63cd39828dc5207b36892ec350cbc"
|
||||
daml-stdlib-DA-Set-Types-c3bb0c5d04799b3f11bad7c3c102963e115cf53da3e4afcbcfd9f06ebd82b4ff "c3bb0c5d04799b3f11bad7c3c102963e115cf53da3e4afcbcfd9f06ebd82b4ff"
|
||||
daml-stdlib-DA-Stack-Types-60c61c542207080e97e378ab447cc355ecc47534b3a3ebbff307c4fb8339bc4d "60c61c542207080e97e378ab447cc355ecc47534b3a3ebbff307c4fb8339bc4d"
|
||||
daml-stdlib-DA-Time-Types-b70db8369e1c461d5c70f1c86f526a29e9776c655e6ffc2560f95b05ccb8b946 "b70db8369e1c461d5c70f1c86f526a29e9776c655e6ffc2560f95b05ccb8b946"
|
||||
daml-stdlib-DA-Validation-Types-3cde94fe9be5c700fc1d9a8ad2277e2c1214609f8c52a5b4db77e466875b8cb7 "3cde94fe9be5c700fc1d9a8ad2277e2c1214609f8c52a5b4db77e466875b8cb7"
|
||||
EOF
|
||||
)
|
||||
|
@ -47,7 +47,7 @@ message PackageRef {
|
||||
message ModuleRef {
|
||||
// package where the module is defined.
|
||||
PackageRef package_ref = 1;
|
||||
int32 module_name_interned_dname = 3; // *Available in version >= 1.7*
|
||||
int32 module_name_interned_dname = 2;
|
||||
}
|
||||
|
||||
// A fully qualified reference to a type constructor name.
|
||||
@ -55,16 +55,15 @@ message TypeConName {
|
||||
// Module where the type is defined.
|
||||
ModuleRef module = 1;
|
||||
// *Must be a valid interned name*
|
||||
int32 name_interned_dname = 3; // *Available in versions >= 1.7*
|
||||
int32 name_interned_dname = 2;
|
||||
}
|
||||
|
||||
// A fully qualified reference to a type synonym name.
|
||||
// *Available in versions >= 1.8*
|
||||
message TypeSynName {
|
||||
// Module where the type is defined.
|
||||
ModuleRef module = 1;
|
||||
// *Must be a valid interned name*
|
||||
int32 name_interned_dname = 3;
|
||||
int32 name_interned_dname = 2;
|
||||
}
|
||||
|
||||
// A fully qualified reference to a value definition.
|
||||
@ -72,7 +71,7 @@ message ValName {
|
||||
// Module where the value is defined
|
||||
ModuleRef module = 1;
|
||||
// *Must be a valid interned name*
|
||||
int32 name_interned_dname = 3; // *Available in versions >= 1.7*
|
||||
int32 name_interned_dname = 2;
|
||||
}
|
||||
|
||||
// A field name definition in a record or a variant associated with a type.
|
||||
@ -140,7 +139,6 @@ message Kind {
|
||||
// Kind of polymorphic type.
|
||||
Arrow arrow = 2;
|
||||
// kind of TNat type;
|
||||
// *Available in versions >= 1.7*
|
||||
Unit nat = 3;
|
||||
}
|
||||
}
|
||||
@ -218,7 +216,6 @@ message Type {
|
||||
}
|
||||
|
||||
// Fully applied type constructor 'TySyn'
|
||||
// *Available in versions >= 1.8*
|
||||
message Syn {
|
||||
|
||||
// Name of the type synonym
|
||||
@ -257,16 +254,14 @@ message Type {
|
||||
oneof Sum {
|
||||
Var var = 1;
|
||||
Con con = 2;
|
||||
Builtin builtin = 3; // FixMe: renamed
|
||||
Forall forall = 5;
|
||||
Struct struct = 7;
|
||||
// *Available in versions >= 1.7*
|
||||
Builtin builtin = 3;
|
||||
Forall forall = 4;
|
||||
Struct struct = 5;
|
||||
// *Must be between 0 and 37 (bounds inclusive)*
|
||||
// use standard signed long for future usage.
|
||||
sint64 nat = 11;
|
||||
Syn syn = 12; // *Available in versions >= 1.8*
|
||||
|
||||
int32 interned = 13; // *Available in versions >= 1.11*
|
||||
sint64 nat = 6;
|
||||
Syn syn = 7;
|
||||
int32 interned = 8;
|
||||
}
|
||||
|
||||
}
|
||||
@ -360,18 +355,18 @@ enum BuiltinFunction {
|
||||
|
||||
/* Dev Builtins */
|
||||
|
||||
SCALE_BIGNUMERIC = 1001; // *Available in versions >= 1.dev
|
||||
PRECISION_BIGNUMERIC = 1002; // *Available in versions >= 1.dev
|
||||
ADD_BIGNUMERIC = 1003; // *Available in versions >= 1.dev
|
||||
SUB_BIGNUMERIC = 1004; // *Available in versions >= 1.dev
|
||||
MUL_BIGNUMERIC = 1005; // *Available in versions >= 1.dev
|
||||
DIV_BIGNUMERIC = 1006; // *Available in versions >= 1.dev
|
||||
SHIFT_RIGHT_BIGNUMERIC = 1007; // *Available in versions >= 1.dev
|
||||
BIGNUMERIC_TO_NUMERIC = 1008; // *Available in versions >= 1.dev*
|
||||
NUMERIC_TO_BIGNUMERIC = 1009; // *Available in versions >= 1.dev
|
||||
BIGNUMERIC_TO_TEXT = 1010; // *Available in versions >= 1.dev
|
||||
SCALE_BIGNUMERIC = 1001; // *Available in versions >= 2.dev
|
||||
PRECISION_BIGNUMERIC = 1002; // *Available in versions >= 2.dev
|
||||
ADD_BIGNUMERIC = 1003; // *Available in versions >= 2.dev
|
||||
SUB_BIGNUMERIC = 1004; // *Available in versions >= 2.dev
|
||||
MUL_BIGNUMERIC = 1005; // *Available in versions >= 2.dev
|
||||
DIV_BIGNUMERIC = 1006; // *Available in versions >= 2.dev
|
||||
SHIFT_RIGHT_BIGNUMERIC = 1007; // *Available in versions >= 2.dev
|
||||
BIGNUMERIC_TO_NUMERIC = 1008; // *Available in versions >= 2.dev*
|
||||
NUMERIC_TO_BIGNUMERIC = 1009; // *Available in versions >= 2.dev
|
||||
BIGNUMERIC_TO_TEXT = 1010; // *Available in versions >= 2.dev
|
||||
|
||||
TYPE_REP_TYCON_NAME = 1011; // *Available in versions >= 1.dev*
|
||||
TYPE_REP_TYCON_NAME = 1011; // *Available in versions >= 2.dev*
|
||||
}
|
||||
|
||||
// Builtin literals
|
||||
@ -456,7 +451,7 @@ message Expr {
|
||||
Type.Con tycon = 1;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 field_interned_str = 5;
|
||||
int32 field_interned_str = 2;
|
||||
|
||||
// Actual record being updated
|
||||
Expr record = 3;
|
||||
@ -472,7 +467,7 @@ message Expr {
|
||||
Type.Con tycon = 1;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 variant_con_interned_str = 4;
|
||||
int32 variant_con_interned_str = 2;
|
||||
|
||||
// Argument of the variant.
|
||||
Expr variant_arg = 3;
|
||||
@ -485,7 +480,7 @@ message Expr {
|
||||
TypeConName tycon = 1;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 enum_con_interned_str = 3;
|
||||
int32 enum_con_interned_str = 2;
|
||||
}
|
||||
|
||||
// Struct Construction ('ExpStructCon')
|
||||
@ -497,7 +492,7 @@ message Expr {
|
||||
// Struct Projection ('ExpStructProj')
|
||||
message StructProj {
|
||||
// *Must be a valid interned identifier*
|
||||
int32 field_interned_str = 3;
|
||||
int32 field_interned_str = 1;
|
||||
|
||||
// struct to be projected.
|
||||
Expr struct = 2;
|
||||
@ -506,7 +501,7 @@ message Expr {
|
||||
// Struct update ('ExpTuplUpdate')
|
||||
message StructUpd {
|
||||
// *Must be a valid interned identifier*
|
||||
int32 field_interned_str = 4;
|
||||
int32 field_interned_str = 1;
|
||||
|
||||
// Actual struct being updated.
|
||||
Expr struct = 2;
|
||||
@ -595,12 +590,10 @@ message Expr {
|
||||
Type type = 1;
|
||||
|
||||
// contained value
|
||||
// FixMe: renamed to 'value'
|
||||
Expr body = 2;
|
||||
Expr value = 2;
|
||||
}
|
||||
|
||||
// Wrap a value in Any
|
||||
// *Available in versions >= 1.7*
|
||||
message ToAny {
|
||||
// type of argument. Must be the TypeConName of a template.
|
||||
Type type = 1;
|
||||
@ -609,7 +602,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Extract the given type from Any or return None on type-mismatch
|
||||
// *Available in versions >= 1.7*
|
||||
message FromAny {
|
||||
// type that should be extracted. Must be the TypeConName of a template.
|
||||
Type type = 1;
|
||||
@ -618,7 +610,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Wrap an exception value in AnyException
|
||||
// *Available in versions >= 1.14*
|
||||
message ToAnyException {
|
||||
// type of argument. Must be an exception type.
|
||||
Type type = 1;
|
||||
@ -627,7 +618,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Extract the given exception type from AnyException or return None on type-mismatch
|
||||
// *Available in versions >= 1.14*
|
||||
message FromAnyException {
|
||||
// type that should be extracted. Must be an exception type.
|
||||
Type type = 1;
|
||||
@ -636,7 +626,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Throw an exception.
|
||||
// *Available in versions >= 1.14*
|
||||
message Throw {
|
||||
// Overall type of the "throw" expression.
|
||||
Type return_type = 1;
|
||||
@ -647,7 +636,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Convert a template payload to an interface.
|
||||
// *Available in versions >= 1.15*
|
||||
message ToInterface {
|
||||
TypeConName interface_type = 1;
|
||||
TypeConName template_type = 2;
|
||||
@ -655,7 +643,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Convert an interface back to a template payload if possible.
|
||||
// *Available in versions >= 1.15*
|
||||
message FromInterface {
|
||||
TypeConName interface_type = 1;
|
||||
TypeConName template_type = 2;
|
||||
@ -663,7 +650,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Invoke an interface method.
|
||||
// *Available in versions >= 1.15*
|
||||
message CallInterface {
|
||||
TypeConName interface_type = 1;
|
||||
int32 method_interned_name = 2;
|
||||
@ -671,14 +657,12 @@ message Expr {
|
||||
}
|
||||
|
||||
// Obtain an interface view
|
||||
// *Available in versions >= 1.15*
|
||||
message ViewInterface {
|
||||
TypeConName interface = 1;
|
||||
Expr expr = 2;
|
||||
}
|
||||
|
||||
// Obtain the signatories of a contract through an interface
|
||||
// *Available in versions >= 1.15*
|
||||
message SignatoryInterface {
|
||||
// Interface type
|
||||
TypeConName interface = 1;
|
||||
@ -687,7 +671,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Obtain the observers of a contract through an interface
|
||||
// *Available in versions >= 1.15*
|
||||
message ObserverInterface {
|
||||
// Interface type
|
||||
TypeConName interface = 1;
|
||||
@ -698,7 +681,6 @@ message Expr {
|
||||
|
||||
|
||||
// Convert an interface back to a template payload, or raises WronglyTypedContract if not possible.
|
||||
// *Available in versions >= 1.15*
|
||||
message UnsafeFromInterface {
|
||||
TypeConName interface_type = 1;
|
||||
TypeConName template_type = 2;
|
||||
@ -707,7 +689,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Upcast from an interface payload to an interface it requires.
|
||||
// *Available in versions >= 1.dev*
|
||||
message ToRequiredInterface {
|
||||
TypeConName required_interface = 1;
|
||||
TypeConName requiring_interface = 2;
|
||||
@ -715,7 +696,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Downcast from an interface payload to an interface that requires it, if possible.
|
||||
// *Available in versions >= 1.dev*
|
||||
message FromRequiredInterface {
|
||||
TypeConName required_interface = 1;
|
||||
TypeConName requiring_interface = 2;
|
||||
@ -723,7 +703,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Downcast from an interface payload to an interface that requires it, or raises WronglyTypedContract if not possible.
|
||||
// *Available in versions >= 1.dev*
|
||||
message UnsafeFromRequiredInterface {
|
||||
TypeConName required_interface = 1;
|
||||
TypeConName requiring_interface = 2;
|
||||
@ -732,7 +711,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Obtain the type representation of a contract through an interface
|
||||
// *Available in versions >= 1.dev*
|
||||
message InterfaceTemplateTypeRep {
|
||||
// interface type
|
||||
TypeConName interface = 1;
|
||||
@ -741,7 +719,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Obtain the controllers for a choice.
|
||||
// *Available in versions >= 1.dev*
|
||||
message ChoiceController {
|
||||
TypeConName template = 1;
|
||||
int32 choice_interned_str = 2;
|
||||
@ -750,7 +727,6 @@ message Expr {
|
||||
}
|
||||
|
||||
// Obtain the observers for a choice.
|
||||
// *Available in versions >= 1.dev*
|
||||
message ChoiceObserver {
|
||||
TypeConName template = 1;
|
||||
int32 choice_interned_str = 2;
|
||||
@ -765,154 +741,139 @@ message Expr {
|
||||
|
||||
// Location of the expression in the Daml code source.
|
||||
// Optional
|
||||
Location location = 25;
|
||||
Location location = 1;
|
||||
|
||||
oneof Sum {
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 var_interned_str = 29;
|
||||
int32 var_interned_str = 2;
|
||||
|
||||
// Defined value ('ExpVal')
|
||||
ValName val = 2;
|
||||
ValName val = 3;
|
||||
|
||||
// Builtin function ('ExpBuiltin')
|
||||
BuiltinFunction builtin = 3;
|
||||
BuiltinFunction builtin = 4;
|
||||
|
||||
// Builtin constructor ('()', 'False' or 'True')
|
||||
BuiltinCon builtin_con = 4;
|
||||
BuiltinCon builtin_con = 5;
|
||||
|
||||
// Builtin literal ('ExpBuiltin')
|
||||
BuiltinLit builtin_lit = 5;
|
||||
BuiltinLit builtin_lit = 6;
|
||||
|
||||
// Record construction ('ExpRecCon')
|
||||
RecCon rec_con = 6;
|
||||
RecCon rec_con = 7;
|
||||
|
||||
// Record projection ('ExpRecProj')
|
||||
RecProj rec_proj = 7;
|
||||
RecProj rec_proj = 8;
|
||||
|
||||
// Record udpate ('ExpRecUpdate')
|
||||
RecUpd rec_upd = 22;
|
||||
RecUpd rec_upd = 9;
|
||||
|
||||
// Variant construction ('ExpVariantCon')
|
||||
VariantCon variant_con = 8;
|
||||
VariantCon variant_con = 10;
|
||||
|
||||
// Enum construction ('ExpEnumCon')
|
||||
EnumCon enum_con = 28;
|
||||
EnumCon enum_con = 11;
|
||||
|
||||
// Struct construction ('ExpStructCon')
|
||||
StructCon struct_con = 9;
|
||||
StructCon struct_con = 12;
|
||||
|
||||
// Struct project ('ExpStructProj')
|
||||
StructProj struct_proj = 10;
|
||||
StructProj struct_proj = 13;
|
||||
|
||||
// Struct update ('ExpStructUpdate')
|
||||
StructUpd struct_upd = 23;
|
||||
StructUpd struct_upd = 14;
|
||||
|
||||
// Application ('ExpApp')
|
||||
App app = 11;
|
||||
App app = 15;
|
||||
|
||||
// Type Application ('ExpTyApp')
|
||||
TyApp ty_app = 12;
|
||||
TyApp ty_app = 16;
|
||||
|
||||
// Abstraction ('ExpAbs')
|
||||
Abs abs = 13;
|
||||
Abs abs = 17;
|
||||
|
||||
// Type Abstraction ('ExpTyAbs')
|
||||
TyAbs ty_abs = 14;
|
||||
TyAbs ty_abs = 18;
|
||||
|
||||
// Pattern Matching ('ExpCase')
|
||||
Case case = 15;
|
||||
Case case = 19;
|
||||
|
||||
// Let block ('ExpLet')
|
||||
Block let = 16;
|
||||
Block let = 20;
|
||||
|
||||
// Empty List ('ExpNil')
|
||||
Nil nil = 17;
|
||||
Nil nil = 21;
|
||||
|
||||
// Non Empty list ('ExpCons')
|
||||
Cons cons = 18;
|
||||
Cons cons = 22;
|
||||
|
||||
// Update expression ('ExpUpdate')
|
||||
Update update = 20;
|
||||
Update update = 23;
|
||||
|
||||
// Scenario Expression ('ExpScenario')
|
||||
Scenario scenario = 21;
|
||||
Scenario scenario = 24;
|
||||
|
||||
// empty optional value ('ExpNone')
|
||||
OptionalNone optional_none = 26;
|
||||
OptionalNone optional_none = 25;
|
||||
|
||||
// non empty optional value ('ExpSome')
|
||||
OptionalSome optional_some = 27;
|
||||
OptionalSome optional_some = 26;
|
||||
|
||||
// Wrap an arbitrary value in Any ('ExpToAny')
|
||||
// *Available in versions >= 1.7*
|
||||
ToAny to_any = 30;
|
||||
ToAny to_any = 27;
|
||||
|
||||
// Extract the given type from Any or return None on type-mismatch ('ExpFromAny')
|
||||
// *Available in versions >= 1.7*
|
||||
FromAny from_any = 31;
|
||||
FromAny from_any = 28;
|
||||
|
||||
// A type representation
|
||||
// *Available in versions >= 1.7*
|
||||
Type type_rep = 32;
|
||||
Type type_rep = 29;
|
||||
|
||||
// Wrap an arbitrary exception into an AnyException ('ExpToAnyException').
|
||||
// *Available in versions >= 1.14*
|
||||
ToAnyException to_any_exception = 33;
|
||||
ToAnyException to_any_exception = 30;
|
||||
|
||||
// Extract an arbitrary exception from an AnyException ('ExpFromAnyException').
|
||||
// *Available in versions >= 1.14*
|
||||
FromAnyException from_any_exception = 34;
|
||||
FromAnyException from_any_exception = 31;
|
||||
|
||||
// Throw an exception ('ExpThrow').
|
||||
// *Available in versions >= 1.14*
|
||||
Throw throw = 35;
|
||||
Throw throw = 32;
|
||||
|
||||
// Convert to/from interface payloads.
|
||||
// *Available in versions >= 1.15*
|
||||
ToInterface to_interface = 36;
|
||||
FromInterface from_interface = 37;
|
||||
ToInterface to_interface = 33;
|
||||
FromInterface from_interface = 34;
|
||||
|
||||
// Invoke an interface method.
|
||||
// *Available in versions >= 1.15*
|
||||
CallInterface call_interface = 38;
|
||||
CallInterface call_interface = 35;
|
||||
|
||||
// Obtain a contract's signatories/observers through an interface.
|
||||
// *Available in versions >= 1.15*
|
||||
SignatoryInterface signatory_interface = 39;
|
||||
ObserverInterface observer_interface = 40;
|
||||
SignatoryInterface signatory_interface = 36;
|
||||
ObserverInterface observer_interface = 37;
|
||||
|
||||
// Invoke an interface method.
|
||||
// *Available in versions >= 1.15*
|
||||
ViewInterface view_interface = 41;
|
||||
ViewInterface view_interface = 38;
|
||||
|
||||
// Unsafe conversion from interface payloads.
|
||||
// *Available in versions >= 1.15*
|
||||
UnsafeFromInterface unsafe_from_interface = 42;
|
||||
UnsafeFromInterface unsafe_from_interface = 39;
|
||||
|
||||
// Obtain the type representation of a contract's template through an interface.
|
||||
// *Available in versions >= 1.15*
|
||||
InterfaceTemplateTypeRep interface_template_type_rep = 43;
|
||||
InterfaceTemplateTypeRep interface_template_type_rep = 40;
|
||||
|
||||
// Upcast/downcast interface payloads.
|
||||
// *Available in versions >= 1.dev*
|
||||
ToRequiredInterface to_required_interface = 44;
|
||||
FromRequiredInterface from_required_interface = 45;
|
||||
UnsafeFromRequiredInterface unsafe_from_required_interface = 46;
|
||||
// *Available in versions >= 2.dev*
|
||||
ToRequiredInterface to_required_interface = 41;
|
||||
FromRequiredInterface from_required_interface = 42;
|
||||
UnsafeFromRequiredInterface unsafe_from_required_interface = 43;
|
||||
|
||||
// Obtain the controllers for a choice.
|
||||
// *Available in versions >= 1.dev*
|
||||
ChoiceController choice_controller = 47;
|
||||
// *Available in versions >= 2.dev*
|
||||
ChoiceController choice_controller = 1001;
|
||||
|
||||
// Obtain the observers for a choice.
|
||||
// *Available in versions >= 1.dev*
|
||||
ChoiceObserver choice_observer = 48;
|
||||
// *Available in versions >= 2.dev*
|
||||
ChoiceObserver choice_observer = 1002;
|
||||
|
||||
Experimental experimental = 9999; // *Available only in 1.dev*
|
||||
Experimental experimental = 1003; // *Available only in 2.dev*
|
||||
}
|
||||
|
||||
reserved 19; // This was equals. Removed in favour of BuiltinFunction.EQUAL_*
|
||||
reserved 24; // This was equal_contract_id. Removed in favour of BuiltinFunction.EQUAL_CONTRACT_ID
|
||||
}
|
||||
|
||||
// Case alternative
|
||||
@ -925,10 +886,10 @@ message CaseAlt {
|
||||
TypeConName con = 1;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 variant_interned_str = 4;
|
||||
int32 variant_interned_str = 2;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 binder_interned_str = 5;
|
||||
int32 binder_interned_str = 3;
|
||||
}
|
||||
|
||||
// Enum pattern
|
||||
@ -938,36 +899,36 @@ message CaseAlt {
|
||||
TypeConName con = 1;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 constructor_interned_str = 3;
|
||||
int32 constructor_interned_str = 2;
|
||||
}
|
||||
|
||||
// Non empty list pattern
|
||||
message Cons {
|
||||
// *Must be a valid interned identifier*
|
||||
int32 var_head_interned_str = 3;
|
||||
int32 var_head_interned_str = 1;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 var_tail_interned_str = 4;
|
||||
int32 var_tail_interned_str = 2;
|
||||
}
|
||||
|
||||
// Non empty option patterm
|
||||
message OptionalSome {
|
||||
// *Must be a valid interned identifier*
|
||||
int32 var_body_interned_str = 2;
|
||||
int32 var_body_interned_str = 1;
|
||||
}
|
||||
|
||||
oneof Sum {
|
||||
Unit default = 1;
|
||||
Variant variant = 2;
|
||||
BuiltinCon builtin_con = 3;
|
||||
Unit nil = 4;
|
||||
Cons cons = 5;
|
||||
Unit default = 2;
|
||||
Variant variant = 3;
|
||||
BuiltinCon builtin_con = 4;
|
||||
Unit nil = 5;
|
||||
Cons cons = 6;
|
||||
Unit optional_none = 7;
|
||||
OptionalSome optional_some = 8;
|
||||
Enum enum = 9;
|
||||
}
|
||||
|
||||
Expr body = 6;
|
||||
Expr body = 1;
|
||||
}
|
||||
|
||||
message Case {
|
||||
@ -1001,7 +962,6 @@ message Update {
|
||||
}
|
||||
|
||||
// Interface Create Update
|
||||
// *Available in versions >= 1.15*
|
||||
message CreateInterface {
|
||||
// Interface type
|
||||
TypeConName interface = 1;
|
||||
@ -1027,20 +987,19 @@ message Update {
|
||||
|
||||
// Soft Exercise Update
|
||||
// Exercises a contract of the given template type OR a predecessor.
|
||||
// *Available in versions >= 1.dev*
|
||||
// *Available in versions >= 2.dev*
|
||||
message SoftExercise {
|
||||
// Template type
|
||||
TypeConName template = 1;
|
||||
// *Must be a valid interned identifier*
|
||||
int32 choice_interned_str = 6;
|
||||
int32 choice_interned_str = 2;
|
||||
// contract id
|
||||
Expr cid = 3;
|
||||
// argument
|
||||
Expr arg = 5;
|
||||
Expr arg = 4;
|
||||
}
|
||||
|
||||
// Dynamic Exercise Update
|
||||
// *Available in versions >= 1.dev*
|
||||
message DynamicExercise {
|
||||
// Template type
|
||||
TypeConName template = 1;
|
||||
@ -1056,7 +1015,6 @@ message Update {
|
||||
}
|
||||
|
||||
// Interface Exercise Update
|
||||
// *Available in versions >= 1.15*
|
||||
message ExerciseInterface {
|
||||
// Interface type
|
||||
TypeConName interface = 1;
|
||||
@ -1071,7 +1029,7 @@ message Update {
|
||||
Expr arg = 4;
|
||||
|
||||
// exercise guard (Interface -> Bool)
|
||||
Expr guard = 5; // *optional* *Available in versions >= 1.16*
|
||||
Expr guard = 5; // *optional* *Available in versions >= 2.dev*
|
||||
}
|
||||
|
||||
// ExerciseByKey Update
|
||||
@ -1092,12 +1050,11 @@ message Update {
|
||||
TypeConName template = 1;
|
||||
// contract id
|
||||
Expr cid = 2;
|
||||
reserved 3; // was actor, we thought we'd need this, but we don't
|
||||
}
|
||||
|
||||
// Soft Fetch Update
|
||||
// Fetches a contract of the given template type OR a predecessor.
|
||||
// *Available in versions >= 1.dev*
|
||||
// *Available in versions >= 2.dev*
|
||||
message SoftFetch {
|
||||
// Template type
|
||||
TypeConName template = 1;
|
||||
@ -1106,7 +1063,6 @@ message Update {
|
||||
}
|
||||
|
||||
// Interface Fetch Update
|
||||
// *Available in versions >= 1.15*
|
||||
message FetchInterface {
|
||||
// Interface type
|
||||
TypeConName interface = 1;
|
||||
@ -1144,20 +1100,21 @@ message Update {
|
||||
Block block = 2;
|
||||
Create create = 3;
|
||||
Exercise exercise = 4;
|
||||
ExerciseByKey exercise_by_key = 10; // *Available in versions >= 1.11*
|
||||
ExerciseByKey exercise_by_key = 10;
|
||||
Fetch fetch = 5;
|
||||
Unit get_time = 6;
|
||||
RetrieveByKey lookup_by_key = 8;
|
||||
RetrieveByKey fetch_by_key = 9;
|
||||
// see similar constructor in `Scenario` on why this is useful.
|
||||
EmbedExpr embed_expr = 7;
|
||||
TryCatch try_catch = 11; // *Available in versions >= 1.14*
|
||||
CreateInterface create_interface = 12; // *Available in versions >= 1.15*
|
||||
ExerciseInterface exercise_interface = 13; // *Available in versions >= 1.15*
|
||||
FetchInterface fetch_interface = 14; // *Available in versions >= 1.15*
|
||||
DynamicExercise dynamic_exercise = 15; // *Available in versions >= 1.dev*
|
||||
SoftFetch soft_fetch = 16; // *Available in versions >= 1.dev*
|
||||
SoftExercise soft_exercise = 17; // *Available in versions >= 1.dev*
|
||||
TryCatch try_catch = 11;
|
||||
CreateInterface create_interface = 12;
|
||||
ExerciseInterface exercise_interface = 13;
|
||||
FetchInterface fetch_interface = 14;
|
||||
|
||||
|
||||
DynamicExercise dynamic_exercise = 1001; // *Available in versions >= 2.dev*
|
||||
SoftFetch soft_fetch = 1002; // *Available in versions >= 2.dev*
|
||||
SoftExercise soft_exercise = 1003; // *Available in versions >= 2.dev*
|
||||
}
|
||||
}
|
||||
|
||||
@ -1202,43 +1159,44 @@ message Scenario {
|
||||
|
||||
// Template choice definition.
|
||||
message TemplateChoice {
|
||||
Location location = 1;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 name_interned_str = 9;
|
||||
int32 name_interned_str = 2;
|
||||
|
||||
// Choice type
|
||||
bool consuming = 2;
|
||||
bool consuming = 3;
|
||||
|
||||
// The controllers of the choice. They have type `List Party` and the
|
||||
// template parameter in scope, and the choice parameter. All of these
|
||||
// controllers need to authorize the exercising of this choice (aka
|
||||
// conjunctive choice controllers).
|
||||
Expr controllers = 3;
|
||||
Expr controllers = 4;
|
||||
|
||||
// The additional informees of the choice. They have type `List Party`.
|
||||
Expr observers = 11; // *Available in versions >= 1.11*
|
||||
|
||||
// The optional authorizers of the choice. When present they have type `List Party`.
|
||||
// When missing, we assume the default value: template-signatories + choice-cotrollers.
|
||||
Expr authorizers = 12; // *Available in versions >= 1.dev*
|
||||
Expr observers = 5;
|
||||
|
||||
// Name to which the choice argument is bound and its type.
|
||||
VarWithType arg_binder = 4;
|
||||
VarWithType arg_binder = 6;
|
||||
|
||||
// Return type of the choice.
|
||||
Type ret_type = 5;
|
||||
Type ret_type = 8;
|
||||
|
||||
// Follow-up update of the choice. It has type `Update <ret_type>` and both
|
||||
// the template parameter and the choice parameter in scope.
|
||||
Expr update = 6;
|
||||
Expr update = 9;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 self_binder_interned_str = 10;
|
||||
|
||||
Location location = 8;
|
||||
|
||||
// The optional authorizers of the choice. When present they have type `List Party`.
|
||||
// When missing, we assume the default value: template-signatories + choice-cotrollers.
|
||||
Expr authorizers = 1001; // *Available in versions >= 2.dev*
|
||||
|
||||
}
|
||||
|
||||
// Contents of an interface instance.
|
||||
// *Available in versions >= 1.15*
|
||||
message InterfaceInstanceBody {
|
||||
|
||||
message InterfaceInstanceMethod {
|
||||
@ -1260,7 +1218,6 @@ message DefTemplate {
|
||||
}
|
||||
|
||||
// An interface instance defined in this template.
|
||||
// *Available in versions >= 1.15*
|
||||
message Implements {
|
||||
TypeConName interface = 1;
|
||||
InterfaceInstanceBody body = 2;
|
||||
@ -1270,45 +1227,38 @@ message DefTemplate {
|
||||
// The type constructor for the template, acting as both
|
||||
// the name of the template and the type of the template argument.
|
||||
// *Must be a valid interned name*
|
||||
int32 tycon_interned_dname = 12; // *Available in versions >= 1.7*
|
||||
int32 tycon_interned_dname = 1;
|
||||
|
||||
// *Must be a valid interned identifier*
|
||||
int32 param_interned_str = 11;
|
||||
|
||||
// NOTE(MH): The new runtime authorization check for Daml 1.0 does not rely
|
||||
// on the stakeholder signatures produced by the obligables computation
|
||||
// anymore but uses the interpreter to compute the signatories and
|
||||
// stakeholders of contract instances.
|
||||
// REMOVED: TemplateStakeholders stakeholders = 3;
|
||||
reserved 3;
|
||||
int32 param_interned_str = 2;
|
||||
|
||||
// Pre-condition that the template argument must satisfy.
|
||||
// When present, it has type `Bool` and the template parameter in scope.
|
||||
// *Optional*, interpreted as 'True' if undefined
|
||||
Expr precond = 4;
|
||||
Expr precond = 3;
|
||||
|
||||
// The signatories of the contract. They have type `List Party` and the
|
||||
// template parameter in scope.
|
||||
Expr signatories = 5;
|
||||
Expr signatories = 4;
|
||||
|
||||
// The agreement text associated with the contract. It has type `Text` and
|
||||
// the template parameter in scope.
|
||||
Expr agreement = 6;
|
||||
Expr agreement = 5;
|
||||
|
||||
// The choices available in the resulting contract.
|
||||
repeated TemplateChoice choices = 7;
|
||||
repeated TemplateChoice choices = 6;
|
||||
|
||||
// The observers of the contract. They have type `List Party` and the
|
||||
// template parameter in scope.
|
||||
Expr observers = 8;
|
||||
Expr observers = 7;
|
||||
|
||||
Location location = 9;
|
||||
Location location = 8;
|
||||
|
||||
// The key definition for the template, if present
|
||||
DefKey key = 10; // optional
|
||||
DefKey key = 9; // optional
|
||||
|
||||
// Interface instances defined in this template.
|
||||
repeated Implements implements = 13; // *Available in versions >= 1.15*
|
||||
repeated Implements implements = 10;
|
||||
}
|
||||
|
||||
// Interface method definition.
|
||||
@ -1323,15 +1273,6 @@ message InterfaceMethod {
|
||||
// *Available in versions >= 1.15*
|
||||
message DefInterface {
|
||||
|
||||
// TOOD: https://github.com/digital-asset/daml/issues/18240
|
||||
// Drop CoImplements
|
||||
// An interface instance defined in this interface.
|
||||
message CoImplements {
|
||||
TypeConName template = 1;
|
||||
InterfaceInstanceBody body = 2;
|
||||
Location location = 3;
|
||||
}
|
||||
|
||||
Location location = 1;
|
||||
int32 tycon_interned_dname = 2;
|
||||
repeated InterfaceMethod methods = 3;
|
||||
@ -1341,17 +1282,13 @@ message DefInterface {
|
||||
|
||||
repeated TemplateChoice choices = 5;
|
||||
|
||||
// Interface instances defined in this interface.
|
||||
repeated CoImplements coImplements = 6;
|
||||
|
||||
// View type for this interface
|
||||
Type view = 8;
|
||||
Type view = 6;
|
||||
|
||||
repeated TypeConName requires = 9; // *Available in versions >= 1.15*
|
||||
repeated TypeConName requires = 7;
|
||||
}
|
||||
|
||||
// Exception definition
|
||||
// *Available in versions >= 1.14*
|
||||
message DefException {
|
||||
// *Must be a valid interned dotted name*
|
||||
int32 name_interned_dname = 1;
|
||||
@ -1370,20 +1307,15 @@ message DefDataType {
|
||||
repeated int32 constructors_interned_str = 2;
|
||||
}
|
||||
|
||||
Location location = 1;
|
||||
|
||||
// name of the defined data type
|
||||
// *Must be a valid interned name*
|
||||
int32 name_interned_dname = 8; // *Available in versions >= 1.7*
|
||||
int32 name_interned_dname = 2;
|
||||
|
||||
// type parameters
|
||||
// *Must be empty if enum field is set*
|
||||
repeated TypeVarWithKind params = 2;
|
||||
|
||||
oneof DataCons {
|
||||
Fields record = 3; // Records without fields are explicitly allowed.
|
||||
Fields variant = 4; // Variants without constructors are explicitly allowed.
|
||||
EnumConstructors enum = 7;
|
||||
Unit interface = 9; // Interfaces are special, they can't be represented as records or variants.
|
||||
}
|
||||
repeated TypeVarWithKind params = 3;
|
||||
|
||||
// If true, this data type preserves serializability in the sense that when
|
||||
// all parameters are instantiated with serializable types (of kind '*'),
|
||||
@ -1392,21 +1324,27 @@ message DefDataType {
|
||||
// inference but only a check. Such a check must validate that this flag is
|
||||
// set correctly and that template and choice argument and result types
|
||||
// have this flag set to true.
|
||||
bool serializable = 5;
|
||||
bool serializable = 4;
|
||||
|
||||
oneof DataCons {
|
||||
Fields record = 5; // Records without fields are explicitly allowed.
|
||||
Fields variant = 6; // Variants without constructors are explicitly allowed.
|
||||
EnumConstructors enum = 7;
|
||||
Unit interface = 8; // Interfaces are special, they can't be represented as records or variants.
|
||||
}
|
||||
|
||||
Location location = 6;
|
||||
}
|
||||
|
||||
// Type synonym definition
|
||||
// *Available in versions >= 1.8*
|
||||
message DefTypeSyn {
|
||||
Location location = 1;
|
||||
// name of the defined type synonym
|
||||
// *Must be a valid interned name*
|
||||
int32 name_interned_dname = 8;
|
||||
int32 name_interned_dname = 2;
|
||||
// type parameters
|
||||
repeated TypeVarWithKind params = 2;
|
||||
Type type = 3;
|
||||
Location location = 4;
|
||||
repeated TypeVarWithKind params = 3;
|
||||
Type type = 4;
|
||||
}
|
||||
|
||||
// Value definition
|
||||
@ -1416,22 +1354,19 @@ message DefValue {
|
||||
// want to be binary-compatible with it.
|
||||
message NameWithType {
|
||||
// *Must be a valid interned name*
|
||||
int32 name_interned_dname = 3; // *Available in versions >= 1.7*
|
||||
int32 name_interned_dname = 1; // *Available in versions >= 1.7*
|
||||
// Type of the value
|
||||
Type type = 2;
|
||||
}
|
||||
|
||||
NameWithType name_with_type = 1;
|
||||
Location location = 1;
|
||||
|
||||
Expr expr = 2;
|
||||
NameWithType name_with_type = 2;
|
||||
|
||||
// Always true for SDK > 1.18. Setting it to false
|
||||
// will result in the package being rejected.
|
||||
bool no_party_literals = 3;
|
||||
Expr expr = 3;
|
||||
|
||||
bool is_test = 4;
|
||||
|
||||
Location location = 5;
|
||||
}
|
||||
|
||||
message FeatureFlags {
|
||||
@ -1442,25 +1377,21 @@ message FeatureFlags {
|
||||
|
||||
message Module {
|
||||
|
||||
int32 name_interned_dname = 8; // *Available in versions >= 1.7*
|
||||
// repeated Definition definitions = 2; // Removed in favour of data_types, values and templates.
|
||||
reserved 2;
|
||||
// repeated string scenario_tests = 3; // Removed in favour of DefValue.is_test.
|
||||
reserved 3;
|
||||
FeatureFlags flags = 4;
|
||||
repeated DefTypeSyn synonyms = 9; // *Available in versions >= 1.8*
|
||||
repeated DefDataType data_types = 5;
|
||||
repeated DefValue values = 6;
|
||||
repeated DefTemplate templates = 7;
|
||||
repeated DefException exceptions = 10; // *Available in versions >= 1.14*
|
||||
repeated DefInterface interfaces = 11; // *Available in versions >= 1.15*
|
||||
int32 name_interned_dname = 1;
|
||||
FeatureFlags flags = 2;
|
||||
repeated DefTypeSyn synonyms = 3;
|
||||
repeated DefDataType data_types = 4;
|
||||
repeated DefValue values = 5;
|
||||
repeated DefTemplate templates = 6;
|
||||
repeated DefException exceptions = 7;
|
||||
repeated DefInterface interfaces = 8;
|
||||
}
|
||||
|
||||
message InternedDottedName {
|
||||
repeated int32 segments_interned_str = 1;
|
||||
}
|
||||
|
||||
// *Available in versions >= 1.dev*
|
||||
// *Available in versions >= 2.dev*
|
||||
message UpgradedPackageId {
|
||||
int32 upgraded_package_id_interned_str = 1;
|
||||
}
|
||||
@ -1468,16 +1399,16 @@ message UpgradedPackageId {
|
||||
message PackageMetadata {
|
||||
int32 name_interned_str = 1;
|
||||
int32 version_interned_str = 2;
|
||||
UpgradedPackageId upgraded_package_id = 3; // *optional*, *Available in versions >= 1.dev*
|
||||
UpgradedPackageId upgraded_package_id = 1001; // *optional*, *Available in versions >= 2.dev*
|
||||
}
|
||||
|
||||
message Package {
|
||||
repeated Module modules = 1;
|
||||
repeated string interned_strings = 2;
|
||||
repeated InternedDottedName interned_dotted_names = 3; // *Available in versions >= 1.7*
|
||||
PackageMetadata metadata = 4; // *Available and required in versions >= 1.8*
|
||||
repeated InternedDottedName interned_dotted_names = 3;
|
||||
PackageMetadata metadata = 4;
|
||||
|
||||
// Types in the interning table are only allowed to refer to interned types
|
||||
// at smaller indices.
|
||||
repeated Type interned_types = 5; // *Available in versions >= 1.11*
|
||||
repeated Type interned_types = 5;
|
||||
}
|
||||
|
@ -409,9 +409,6 @@ private[archive] class DecodeV2(minor: LV.Minor) {
|
||||
}
|
||||
|
||||
private def decodeDefValue(lfValue: PLF.DefValue): Work[DValue] = {
|
||||
if (!lfValue.getNoPartyLiterals) {
|
||||
throw Error.Parsing("DefValue must have no_party_literals set to true")
|
||||
}
|
||||
val name = getInternedDottedName(lfValue.getNameWithType.getNameInternedDname)
|
||||
decodeType(lfValue.getNameWithType.getType) { typ =>
|
||||
decodeExpr(lfValue.getExpr, name.toString) { body =>
|
||||
@ -998,7 +995,7 @@ private[archive] class DecodeV2(minor: LV.Minor) {
|
||||
case PLF.Expr.SumCase.OPTIONAL_SOME =>
|
||||
val some = lfExpr.getOptionalSome
|
||||
decodeType(some.getType) { typ =>
|
||||
decodeExpr(some.getBody, definition) { expr =>
|
||||
decodeExpr(some.getValue, definition) { expr =>
|
||||
Ret(ESome(typ, expr))
|
||||
}
|
||||
}
|
||||
|
@ -1370,19 +1370,6 @@ class DecodeV2Spec
|
||||
}
|
||||
}
|
||||
|
||||
s"reject DefValue with no_party_literals = false" in {
|
||||
val defValue =
|
||||
DamlLf2.DefValue
|
||||
.newBuilder()
|
||||
.setNoPartyLiterals(false)
|
||||
.build()
|
||||
forEveryVersion { version =>
|
||||
val decoder = moduleDecoder(version)
|
||||
val ex = the[Error.Parsing] thrownBy decoder.decodeDefValueForTest(defValue)
|
||||
ex.msg shouldBe "DefValue must have no_party_literals set to true"
|
||||
}
|
||||
}
|
||||
|
||||
s"reject Feature flags set to false" in {
|
||||
def featureFlags(
|
||||
forbidPartyLits: Boolean,
|
||||
|
@ -635,7 +635,7 @@ private[daml] class EncodeV2(minorLanguageVersion: LV.Minor) {
|
||||
case ENone(typ) =>
|
||||
builder.setOptionalNone(PLF.Expr.OptionalNone.newBuilder().setType(typ))
|
||||
case ESome(typ, x) =>
|
||||
builder.setOptionalSome(PLF.Expr.OptionalSome.newBuilder().setType(typ).setBody(x))
|
||||
builder.setOptionalSome(PLF.Expr.OptionalSome.newBuilder().setType(typ).setValue(x))
|
||||
case ELocation(loc, expr) =>
|
||||
encodeExprBuilder(expr, builder).setLocation(loc)
|
||||
case EUpdate(u) =>
|
||||
@ -856,7 +856,6 @@ private[daml] class EncodeV2(minorLanguageVersion: LV.Minor) {
|
||||
.newBuilder()
|
||||
.setNameWithType(dottedName -> value.typ)
|
||||
.setExpr(value.body)
|
||||
.setNoPartyLiterals(true)
|
||||
.setIsTest(value.isTest)
|
||||
.build()
|
||||
}
|
||||
|
@ -62,158 +62,158 @@ object StablePackages {
|
||||
private[daml] object StablePackagesV2 extends StablePackages {
|
||||
val DA_Internal_Down: StablePackage = new StablePackage(
|
||||
"DA.Internal.Down",
|
||||
"54abeb11f0eed3da544d37cbad04d8f866d83acba977bb014b3e346f2eb9e551",
|
||||
"86d888f34152dae8729900966b44abcb466b9c111699678de58032de601d2b04",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Logic_Types: StablePackage = new StablePackage(
|
||||
"DA.Logic.Types",
|
||||
"edb5aeef08a062be44018bcd548d8141951fcadc6705e483fa7e62d908d84dea",
|
||||
"cae345b5500ef6f84645c816f88b9f7a85a9f3c71697984abdf6849f81e80324",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Stack_Types: StablePackage = new StablePackage(
|
||||
"DA.Stack.Types",
|
||||
"5ba9b13b8f42b1d5d0cdbea93247c8816bfabd2101a9c5972b6852a3151f7100",
|
||||
"60c61c542207080e97e378ab447cc355ecc47534b3a3ebbff307c4fb8339bc4d",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Monoid_Types: StablePackage = new StablePackage(
|
||||
"DA.Monoid.Types",
|
||||
"c6ac07a6623e57d226f3289e934c22cd251dda95eb1d82108374023a7e032254",
|
||||
"52854220dc199884704958df38befd5492d78384a032fd7558c38f00e3d778a2",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Set_Types: StablePackage = new StablePackage(
|
||||
"DA.Set.Types",
|
||||
"9511092860971d9c6ba81c73fed994a3670e5279d5bf193e4bbb02063281dab7",
|
||||
"c3bb0c5d04799b3f11bad7c3c102963e115cf53da3e4afcbcfd9f06ebd82b4ff",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Validation_Types: StablePackage = new StablePackage(
|
||||
"DA.Validation.Types",
|
||||
"7851ba55b61ff1efd2dc04e55093ba273843501d3cb792c5be6e983e94530dd2",
|
||||
"3cde94fe9be5c700fc1d9a8ad2277e2c1214609f8c52a5b4db77e466875b8cb7",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Date_Types: StablePackage = new StablePackage(
|
||||
"DA.Date.Types",
|
||||
"001109f95f991bea2ce8d641c2188d9f8c9d2909786549ba6d652024b3680e63",
|
||||
"fa79192fe1cce03d7d8db36471dde4cf6c96e6d0f07e1c391dd49e355af9b38c",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Semigroup_Types: StablePackage = new StablePackage(
|
||||
"DA.Semigroup.Types",
|
||||
"8bf075ed0f9b502294940d256cadace47e71b7adfa7cce854c1829c2bddf241f",
|
||||
"d095a2ccf6dd36b2415adc4fa676f9191ba63cd39828dc5207b36892ec350cbc",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Time_Types: StablePackage = new StablePackage(
|
||||
"DA.Time.Types",
|
||||
"13f71afbf5d73853a854c2ad9269e47acf5a94c2f533141b5522542f66e86526",
|
||||
"b70db8369e1c461d5c70f1c86f526a29e9776c655e6ffc2560f95b05ccb8b946",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_NonEmpty_Types: StablePackage = new StablePackage(
|
||||
"DA.NonEmpty.Types",
|
||||
"d6ae362400b05ec4ed649cc313f5e5bb06a1fed92cce72589ec8ee45573962dc",
|
||||
"bde4bd30749e99603e5afa354706608601029e225d4983324d617825b634253a",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Random_Types: StablePackage = new StablePackage(
|
||||
"DA.Random.Types",
|
||||
"c8463c6500cba09d1f52d6851f94882ebfe8b0d9c782291e98f483f8c21e7ae2",
|
||||
"bfda48f9aa2c89c895cde538ec4b4946c7085959e031ad61bde616b9849155d7",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Internal_Interface_AnyView_Types: StablePackage = new StablePackage(
|
||||
"DA.Internal.Interface.AnyView.Types",
|
||||
"2513dbd49a110892bfbfdad4bd0b5aef82e34979d59529c1f7e74b425e561977",
|
||||
"c280cc3ef501d237efa7b1120ca3ad2d196e089ad596b666bed59a85f3c9a074",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Internal_Any: StablePackage = new StablePackage(
|
||||
"DA.Internal.Any",
|
||||
"053b10c09112715e460733385963e120a75768abf5a5539428a6437017792e65",
|
||||
"6f8e6085f5769861ae7a40dccd618d6f747297d59b37cab89b93e2fa80b0c024",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Internal_Template: StablePackage = new StablePackage(
|
||||
"DA.Internal.Template",
|
||||
"ace2eb6a9cd13bca35ce7f068b942ab5c47987eed34efea52470b3aa0458a2f5",
|
||||
"9e70a8b3510d617f8a136213f33d6a903a10ca0eeec76bb06ba55d1ed9680f69",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Action_State_Type: StablePackage = new StablePackage(
|
||||
"DA.Action.State.Type",
|
||||
"1bf85ad08ef3be26f2d8a864b4bf907f38f65051ddaa18bf1ec5872756010276",
|
||||
"a1fa18133ae48cbb616c4c148e78e661666778c3087d099067c7fe1868cbb3a1",
|
||||
"daml-stdlib",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Internal_Erased: StablePackage = new StablePackage(
|
||||
"DA.Internal.Erased",
|
||||
"a486f9d83acf91ddcb27a9a8743c042f310beab20be676cfc37220961df03900",
|
||||
"0e4a572ab1fb94744abb02243a6bbed6c78fc6e3c8d3f60c655f057692a62816",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Internal_NatSyn: StablePackage = new StablePackage(
|
||||
"DA.Internal.NatSyn",
|
||||
"ce33df2997d69e8ac89f00951c322753e60abccdfdd92d47d804518a2029748f",
|
||||
"e5411f3d75f072b944bd88e652112a14a3d409c491fd9a51f5f6eede6d3a3348",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Internal_PromotedText: StablePackage = new StablePackage(
|
||||
"DA.Internal.PromotedText",
|
||||
"ad8708bc34bce0096a8f43500940f0d62fbf947aed8484efa92dc6ae2f9126ac",
|
||||
"ab068e2f920d0e06347975c2a342b71f8b8e3b4be0f02ead9442caac51aa8877",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
val GHC_Prim: StablePackage = new StablePackage(
|
||||
"GHC.Prim",
|
||||
"574f715baa8298bf09261ba87a77589f5aeef88e12b7b672cb80c4d2604035fa",
|
||||
"fcee8dfc1b81c449b421410edd5041c16ab59c45bbea85bcb094d1b17c3e9df7",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Exception_AssertionFailed: StablePackage = new StablePackage(
|
||||
"DA.Exception.AssertionFailed",
|
||||
"5548421c4a31fac59b22505f2216177920df47059071a34da3f8d8c07dfeb7f6",
|
||||
"6da1f43a10a179524e840e7288b47bda213339b0552d92e87ae811e52f59fc0e",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
val GHC_Tuple: StablePackage = new StablePackage(
|
||||
"GHC.Tuple",
|
||||
"9c1f8a2f36dfdbf1f30087c75e654fa39cb5fc614503979485b263f70a2e5422",
|
||||
"19f0df5fdaf5a96e137b6ea885fdb378f37bd3166bd9a47ee11518e33fa09a20",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Exception_ArithmeticError: StablePackage = new StablePackage(
|
||||
"DA.Exception.ArithmeticError",
|
||||
"ded2974feb90808a03199cad3355a505bf930a717456a85cd7ac6b03ace303c9",
|
||||
"ee33fb70918e7aaa3d3fc44d64a399fb2bf5bcefc54201b1690ecd448551ba88",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
val GHC_Types: StablePackage = new StablePackage(
|
||||
"GHC.Types",
|
||||
"48b29a202dfd2b7c892f113aff1e70ff124059df9f756af4bcf1faf75fc41b19",
|
||||
"e7e0adfa881e7dbbb07da065ae54444da7c4bccebcb8872ab0cb5dcf9f3761ce",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Exception_GeneralError: StablePackage = new StablePackage(
|
||||
"DA.Exception.GeneralError",
|
||||
"449a5a5c62a70ef892325acbd396b77eab3fd5e1e8cb780df40c856bb22a23ea",
|
||||
"f181cd661f7af3a60bdaae4b0285a2a67beb55d6910fc8431dbae21a5825ec0f",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
val DA_Exception_PreconditionFailed: StablePackage = new StablePackage(
|
||||
"DA.Exception.PreconditionFailed",
|
||||
"9c64df81897c6b98c86063b3a2a4503d756bb7994f06c290ea3d6ad719b76c72",
|
||||
"91e167fa7a256f21f990c526a0a0df840e99aeef0e67dc1f5415b0309486de74",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
|
||||
override val DA_Types: StablePackage = new StablePackage(
|
||||
"DA.Types",
|
||||
"26b14ad5a8a2ed45d75e3c774aeb1c41a918ef2f4a7d2bd40f9716f26c46bfdf",
|
||||
"5aee9b21b8e9a4c4975b5f4c4198e6e6e8469df49e2010820e792f393db870f4",
|
||||
"daml-prim",
|
||||
v2_1,
|
||||
)
|
||||
|
Loading…
Reference in New Issue
Block a user