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

Exclude via $cexerciseGuarded check - ClassOpId approach did not work

Browse Source
This commit is contained in:
Dylan Thinnes 2022-08-24 15:22:59 +01:00
parent b635dcd7cb
commit 9a83d0776e
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/damlc/daml-lf-conversion/src/DA/Daml/LFConversion.hs
View File

@ -1362,7 +1362,12 @@ convertBind env mc (name, x)
-- Remove guarded exercise when Extended Interfaces are unsupported
| not (envLfVersion env `supports` featureExtendedInterfaces)
, "exerciseGuarded" `T.isInfixOf` getOccText name
, "$cexerciseGuarded" `T.isPrefixOf` getOccText name
= pure []
-- Remove guarded exercise when Extended Interfaces are unsupported
| not (envLfVersion env `supports` featureExtendedInterfaces)
, NameIn DA_Internal_Template_Functions "exerciseGuarded" <- name
= pure []
| not (envLfVersion env `supports` featureExtendedInterfaces)