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

interfaces: Add requires in DefInterface protobuf (#11986)

Browse Source 
Part of #11978

changelog_begin
changelog_end
This commit is contained in:
Sofia Faro 2021-12-07 00:38:59 +00:00 committed by GitHub
parent 349d812482
commit 9430ee3131
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
compiler/daml-lf-proto/src/DA/Daml/LF/Proto3/EncodeV1.hs
View File

@ -1005,10 +1005,11 @@ encodeDefInterface :: DefInterface -> Encode P.DefInterface
encodeDefInterface DefInterface{..} = do
defInterfaceLocation <- traverse encodeSourceLoc intLocation
defInterfaceTyconInternedDname <- encodeDottedNameId unTypeConName intName
defInterfaceParamInternedStr <- encodeNameId unExprVarName intParam
defInterfaceFixedChoices <- encodeNameMap encodeTemplateChoice intFixedChoices
let defInterfaceRequires = V.empty -- TODO https://github.com/digital-asset/daml/issues/11978
defInterfaceMethods <- encodeNameMap encodeInterfaceMethod intMethods
defInterfaceParamInternedStr <- encodeNameId unExprVarName intParam
defInterfacePrecond <- encodeExpr intPrecondition
defInterfaceFixedChoices <- encodeNameMap encodeTemplateChoice intFixedChoices
pure $ P.DefInterface{..}
encodeInterfaceMethod :: InterfaceMethod -> Encode P.InterfaceMethod

9
daml-lf/archive/src/main/protobuf/com/daml/daml_lf_dev/daml_lf_1.proto
View File

@ -1532,12 +1532,13 @@ message InterfaceMethod {
message DefInterface {
Location location = 1;
int32 tycon_interned_dname = 2;
repeated InterfaceMethod methods = 3;
repeated TypeConName requires = 3;
repeated InterfaceMethod methods = 4;
// Binder for interface value ("this") in fixed choices.
int32 param_interned_str = 4;
repeated TemplateChoice fixed_choices = 5;
// Binder for interface value ("this") in precond and fixed choices.
int32 param_interned_str = 5;
Expr precond = 6;
repeated TemplateChoice fixed_choices = 7;
}
// Exception definition