In an attempt to consolidate some quality examples for potential future contracts I went through the crowdfunding contract and discovered some syntactical inconsistencies, specifically two curly brackets that weren't closed, as well as the fact in the first choice statement you have:
choice {
| ForAllParticipant (NewPledger) {
with curly bracket
and for the last one you have
| ForAllParticipant (Pledger)
without curly bracket
My changes remove the curly brackets, though it could be that those brackets are required. (Not sure how the parser determines this, my intuition tells me we will want them, but I leave that to the MuKn team to establish.
In GitLab by @flexabyte on Mar 30, 2021, 19:35
Merges master -> master
In an attempt to consolidate some quality examples for potential future contracts I went through the crowdfunding contract and discovered some syntactical inconsistencies, specifically two curly brackets that weren't closed, as well as the fact in the first choice statement you have:
with curly bracket and for the last one you have
My changes remove the curly brackets, though it could be that those brackets are required. (Not sure how the parser determines this, my intuition tells me we will want them, but I leave that to the MuKn team to establish.