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

be explict about coerced type at each use of fromLedgerValue (#15252)

Browse Source 
changelog_begin
changelog_end
This commit is contained in:
nickchapman-da 2022-10-18 11:15:07 +01:00 committed by GitHub
parent d654321432
commit 58727f5580
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
daml-script/daml/Daml/Script.daml
View File

@ -552,20 +552,20 @@ internalCreateCmd arg = Commands $ Ap (\f -> f (Create arg identity) (pure coerc
-- | HIDE A version of 'exerciseCmd' without constraints.
--
-- This is used for Daml ledger exports involving contracts defined in Daml-LF 1.6 or 1.7.
internalExerciseCmd : TemplateTypeRep -> ContractId () -> AnyChoice -> Commands r
internalExerciseCmd tplTypeRep cId arg = Commands $ Ap (\f -> f (Exercise tplTypeRep cId arg identity) (pure fromLedgerValue))
internalExerciseCmd : forall r. TemplateTypeRep -> ContractId () -> AnyChoice -> Commands r
internalExerciseCmd tplTypeRep cId arg = Commands $ Ap (\f -> f (Exercise tplTypeRep cId arg identity) (pure (fromLedgerValue @r)))
-- | HIDE A version of 'exerciseByKeyCmd' without constraints.
--
-- This is used for Daml ledger exports involving contracts defined in Daml-LF 1.6 or 1.7.
internalExerciseByKeyCmd : TemplateTypeRep -> AnyContractKey -> AnyChoice -> Commands r
internalExerciseByKeyCmd tplTypeRep key arg = Commands $ Ap (\f -> f (ExerciseByKey tplTypeRep key arg identity) (pure fromLedgerValue))
internalExerciseByKeyCmd : forall r. TemplateTypeRep -> AnyContractKey -> AnyChoice -> Commands r
internalExerciseByKeyCmd tplTypeRep key arg = Commands $ Ap (\f -> f (ExerciseByKey tplTypeRep key arg identity) (pure (fromLedgerValue @r)))
-- | HIDE A version of 'createAndExerciseCmd' without constraints.
--
-- This is used for Daml ledger exports involving contracts defined in Daml-LF 1.6 or 1.7.
internalCreateAndExerciseCmd : AnyTemplate -> AnyChoice -> Commands r
internalCreateAndExerciseCmd tplArg choiceArg = Commands $ Ap (\f -> f (CreateAndExercise tplArg choiceArg identity) (pure fromLedgerValue))
internalCreateAndExerciseCmd : forall r. AnyTemplate -> AnyChoice -> Commands r
internalCreateAndExerciseCmd tplArg choiceArg = Commands $ Ap (\f -> f (CreateAndExercise tplArg choiceArg identity) (pure (fromLedgerValue @r)))
-- | Create a contract of the given template.
createCmd : Template t => t -> Commands (ContractId t)