PLT-4169 Improved documentation of applyCases.

This addresses the audit comment: > File Semantics.hs, Function applyCases, line 597 If multiple > cases in a case list can apply, the first one is taken. This > behavior should be better communicated in the specification.
input-output-hk · Mar 15, 2023 · 08d6f34 · 08d6f34
1 parent fda1d3e
commit 08d6f34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/marlowe/src/Language/Marlowe/Core/V1/Semantics.hs b/marlowe/src/Language/Marlowe/Core/V1/Semantics.hs
@@ -714,7 +714,7 @@ getContinuation (MerkleizedInput _ inputContinuationHash continuation) (Merkleiz
     else Nothing
 getContinuation _ _ = Nothing
 
--- | Try to apply an input to a list of cases.
+-- | Try to apply an input to a list of cases, accepting the first match.
 applyCases :: Environment -> State -> Input -> [Case Contract] -> ApplyResult
 applyCases env state input (headCase : tailCase) =
     let inputContent = getInputContent input :: InputContent