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

LF spce: Make controller/observer errors fatal (#13192)

Browse Source 
changelog_begin
changelog_end
This commit is contained in:
Sofia Faro 2022-03-08 12:32:10 +00:00 committed by GitHub
parent 37c645333f
commit 85c4ea0b5c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
daml-lf/spec/daml-lf-1.rst
View File

@ -3366,7 +3366,9 @@ as described by the ledger model::
st₀(cid) = (Mod:T, vₜ, 'active')
eₚ[x ↦ vₜ, z ↦ v₁] ⇓ Err E
—————————————————————————————————————————————————————————————————————— EvUpdExercActorEvalErr
'exercise' Mod:T.Ch cid v₁ ‖ (st₀, keys₀) ⇓ᵤ (Err E, ε)
'exercise' Mod:T.Ch cid v₁ ‖ (st₀, keys₀)
⇓ᵤ
(Err (Fatal "Choice controller evaluation failed"), ε)
'tpl' (x : T)
↦ { 'choices' { …, 'choice' ChKind Ch (y : 'ContractId' Mod:T) (z : τ) : σ 'by' eₚ 'observers' eₒ ↦ …, … }, … } ∈ 〚Ξ〛Mod
@ -3377,7 +3379,7 @@ as described by the ledger model::
—————————————————————————————————————————————————————————————————————— EvUpdExercObserversErr
'exercise' Mod:T.Ch cid v₁ ‖ (st₀, keys₀)
⇓ᵤ
(Err E, ε)
(Err (Fatal "Choice observer evaluation failed"), ε)
'tpl' (x : T)
↦ { 'choices' { …, 'choice' ChKind Ch (y : 'ContractId' Mod:T) (z : τ) : σ 'by' eₚ 'observers' eₒ ↦ eₐ, … }, … } ∈ 〚Ξ〛Mod