Fix call to experimental interface signatory builtin (#11882)

Turns out if you mistype the name it doesn’t work, who would have thought. changelog_begin changelog_end
digital-asset · Nov 25, 2021 · cb758e8 · cb758e8
1 parent 024400b
commit cb758e8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/compiler/damlc/daml-lf-conversion/src/DA/Daml/LFConversion/Primitives.hs b/compiler/damlc/daml-lf-conversion/src/DA/Daml/LFConversion/Primitives.hs
@@ -422,7 +422,7 @@ convertPrim version "EToAnyContractKey"
 
 convertPrim _ "ESignatoryInterface" (TCon interface :-> TList TParty) =
     ETmLam (mkVar "this", TCon interface) $
-    EExperimental "RESOLVE_VIRTUAL_SIGNATORIES"
+    EExperimental "RESOLVE_VIRTUAL_SIGNATORY"
         (TCon interface :-> TCon interface :-> TList TParty)
         `ETmApp` EVar (mkVar "this") `ETmApp` EVar (mkVar "this")
 

diff --git a/compiler/damlc/tests/daml-test-files/Interface.daml b/compiler/damlc/tests/daml-test-files/Interface.daml
@@ -90,6 +90,8 @@ main = scenario do
     _ <- exercise cidToken1 (Noop ())
     (cidToken2, cidToken3) <- exercise cidToken1 (Split 10)
     token2 <- fetch cidToken2
+    -- Party is duplicated because p is both observer & issuer
+    signatory token2 === [p, p]
     getAmount token2 === 10
     case fromInterface @_ @Token token2 of
       None -> abort "expected Asset"