digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-11 12:59:17 +03:00
Code Issues Projects Releases Wiki Activity

Handle MHeartbeat in runTrigger (#4022)

Browse Source 
* daml triggers: Set -Werror

* Handle MHeartbeat message in runTrigger

This was missing when heartbeat support was added.

CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Andreas Herrmann <andreash87@gmx.ch>
This commit is contained in:
Andreas Herrmann 2020-01-13 14:56:21 +01:00 committed by GitHub
parent e2df7e7ea3
commit 3ec35be3de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
triggers/daml/BUILD.bazel
View File

@ -22,6 +22,7 @@ version: 0.0.1
dependencies:
- daml-stdlib
- daml-prim
build-options: ["--ghc-option", "-Werror"]
EOF
$(location //compiler/damlc) build --project-root=$$TMP_DIR -o $$PWD/$(location daml-trigger.dar)
rm -rf $$TMP_DIR

4
triggers/daml/Daml/Trigger.daml
View File

@ -191,6 +191,10 @@ runTrigger userTrigger = LowLevel.Trigger
Some commandId -> (acs { pendingContracts = Map.delete commandId acs.pendingContracts }, Map.delete commandId state.commandsInFlight)
state' = state { acs = acs', userState, commandsInFlight }
in runRule userTrigger.rule time state'
MHeartbeat ->
let userState = userTrigger.updateState state.acs MHeartbeat state.userState
state' = state { userState }
in runRule userTrigger.rule time state'
-- Internal API