Skip to content

Instantly share code, notes, and snippets.

@adaszko

adaszko/trace.json

Created September 19, 2019 13:53
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save adaszko/25ed77c12afe3d3bada0c7df4243b685 to your computer and use it in GitHub Desktop.
Save adaszko/25ed77c12afe3d3bada0c7df4243b685 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
trace.json
{
"type" : "block-traces-report",
"traces" : [
{
"source" : "new\n rl(`rho:registry:lookup`), RevVaultCh,\n vaultCh, balanceCh,\n stdout(`rho:io:stdout`)\nin {\n\n rl!(`rho:rchain:revVault`, *RevVaultCh) |\n for (@(_, RevVault) <- RevVaultCh) {\n\n stdout!((\"2.check_balance.rho\")) |\n\n // REPLACE THE REV ADDRESS HERE vvv\n match \"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\" {\n revAddress => {\n\n stdout!((\"Accessing vault at RevAddress\", revAddress)) |\n\n // most RevVault methods return an `Either[String, A] = (false, String) \\/ (true, A)`\n @RevVault!(\"findOrCreate\", revAddress, *vaultCh) |\n for (@(true, vault) <- vaultCh) {\n\n stdout!(\"Obtained vault, checking balance\") |\n\n @vault!(\"balance\", *balanceCh) |\n for (@balance <- balanceCh) {\n\n stdout!((\"Balance is\", balance))\n }\n }\n }\n }\n\n }\n\n}\n",
"events" : [
{
"channels" : "[Unforgeable(0xb54c91481848f76708aa180552f8c05a115750e29db5b84e9e31f64334c52988)]",
"type" : "rho-consume",
"continuation" : "@{bundle+ { Unforgeable(0x00) }}!(\"2.check_balance.rho\") |\nmatch \"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\" {\n x0 => {\n @{x-1}!(\"findOrCreate\", x0, Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)) |\n @{bundle+ { Unforgeable(0x00) }}!((\"Accessing vault at RevAddress\", x0)) |\n for( @{(true, x1)} <- @{Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)} ) {\n @{x1}!(\"balance\", Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)) |\n @{bundle+ { Unforgeable(0x00) }}!(\"Obtained vault, checking balance\") |\n for( @{x2} <- @{Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)} ) {\n @{bundle+ { Unforgeable(0x00) }}!((\"Balance is\", x2))\n }\n }\n }\n}",
"patterns" : "[[(_, free0)]]"
},
{
"data" : "[`rho:rchain:revVault`;Unforgeable(0xb54c91481848f76708aa180552f8c05a115750e29db5b84e9e31f64334c52988)]",
"channel" : "Unforgeable(0x0e)",
"type" : "rho-produce"
},
{
"produces" : [
{
"data" : "[`rho:rchain:revVault`;Unforgeable(0xb54c91481848f76708aa180552f8c05a115750e29db5b84e9e31f64334c52988)]",
"channel" : "Unforgeable(0x0e)"
}
],
"type" : "rho-comm",
"consume" : {
"patterns" : "[[free0;free1]]",
"continuation" : "match {`rho:lang:either` : `rho:id:qrh6mgfp5z6orgchgszyxnuonanz7hw3amgrprqtciia6astt66ypn`, `rho:lang:listOps` : `rho:id:6fzorimqngeedepkrizgiqms6zjt76zjeciktt1eifequy4osz35ks`, `rho:lang:nonNegativeNumber` : `rho:id:hxyadh1ffypra47ry9mk6b8r1i33ar1w9wjsez4khfe9huzrfcytx9`, `rho:lang:treeHashMap` : `rho:id:ikbchopju4jwc5rt9q37yabkm1zeu4qzhtqi9hoj3erwwcdcmub4tz`, `rho:rchain:authKey` : `rho:id:1qw5ehmq1x49dey4eadr1h4ncm361w3536asho7dr38iyookwcsp6i`, `rho:rchain:makeMint` : `rho:id:asysrwfgzf8bf7sxkiowp4b3tcsy4f8ombi3w96ysox4u3qdmn1wbc`, `rho:rchain:pos` : `rho:id:m3xk7h8r54dtqtwsrnxqzhe81baswey66nzw6m533nyd45ptyoybqr`, `rho:rchain:revVault` : `rho:id:6zcfqnwnaqcwpeyuysx1rm48ndr6sgsbbgjuwf45i5nor3io7dr76j`} {\n x0 => {\n for( @{x1} <<- @{Unforgeable(0xbbbb9f6e7d89ca11eb7847e2d8e38297b74fcd59d443eb30d478b69df23ea995)} ) {\n @{x-1}!((x1).get((x0).getOrElse(x-2,x-2)))\n }\n }\n}",
"channels" : "[Unforgeable(0x0e)]"
}
},
{
"type" : "rho-consume",
"continuation" : "@{Unforgeable(0xb54c91481848f76708aa180552f8c05a115750e29db5b84e9e31f64334c52988)}!((x-1).get(({`rho:lang:either` : `rho:id:qrh6mgfp5z6orgchgszyxnuonanz7hw3amgrprqtciia6astt66ypn`, `rho:lang:listOps` : `rho:id:6fzorimqngeedepkrizgiqms6zjt76zjeciktt1eifequy4osz35ks`, `rho:lang:nonNegativeNumber` : `rho:id:hxyadh1ffypra47ry9mk6b8r1i33ar1w9wjsez4khfe9huzrfcytx9`, `rho:lang:treeHashMap` : `rho:id:ikbchopju4jwc5rt9q37yabkm1zeu4qzhtqi9hoj3erwwcdcmub4tz`, `rho:rchain:authKey` : `rho:id:1qw5ehmq1x49dey4eadr1h4ncm361w3536asho7dr38iyookwcsp6i`, `rho:rchain:makeMint` : `rho:id:asysrwfgzf8bf7sxkiowp4b3tcsy4f8ombi3w96ysox4u3qdmn1wbc`, `rho:rchain:pos` : `rho:id:m3xk7h8r54dtqtwsrnxqzhe81baswey66nzw6m533nyd45ptyoybqr`, `rho:rchain:revVault` : `rho:id:6zcfqnwnaqcwpeyuysx1rm48ndr6sgsbbgjuwf45i5nor3io7dr76j`}).getOrElse(`rho:rchain:revVault`,`rho:rchain:revVault`)))",
"channels" : "[Unforgeable(0xbbbb9f6e7d89ca11eb7847e2d8e38297b74fcd59d443eb30d478b69df23ea995)]",
"patterns" : "[[free0]]"
},
{
"type" : "rho-comm",
"produces" : [
{
"channel" : "Unforgeable(0xbbbb9f6e7d89ca11eb7847e2d8e38297b74fcd59d443eb30d478b69df23ea995)",
"data" : "[{`rho:id:1qw5ehmq1x49dey4eadr1h4ncm361w3536asho7dr38iyookwcsp6i` : (9223372036854775807, bundle+ { Unforgeable(0x741f6ee13b54ca29cd6e3340e24a781e8cc2739bc4ab5fd1650de54e11040955) }), `rho:id:6fzorimqngeedepkrizgiqms6zjt76zjeciktt1eifequy4osz35ks` : (9223372036854775807, bundle+ { Unforgeable(0x95fcdae5d4db7cf5aa0022bf6dba3f7c21b506fed8f3f4698a570d048ea758bd) }), `rho:id:6zcfqnwnaqcwpeyuysx1rm48ndr6sgsbbgjuwf45i5nor3io7dr76j` : (9223372036854775807, bundle+ { Unforgeable(0x263f45f2ca50669ef4011a57d3a10270c1250d52ed99f212a6332d8ffe57d3be) }), `rho:id:asysrwfgzf8bf7sxkiowp4b3tcsy4f8ombi3w96ysox4u3qdmn1wbc` : (9223372036854775807, bundle+ { Unforgeable(0x10d4824180800daef356857cffca4f51471960b92711df0fd3c3425401149e11) }), `rho:id:hxyadh1ffypra47ry9mk6b8r1i33ar1w9wjsez4khfe9huzrfcytx9` : (9223372036854775807, bundle+ { Unforgeable(0x61657f51076320deb7358dfcfc1f703be818ee08876c8b8efbfdf6e9d3020bcd) }), `rho:id:ikbchopju4jwc5rt9q37yabkm1zeu4qzhtqi9hoj3erwwcdcmub4tz` : (9223372036854775807, bundle+ { Unforgeable(0xaad5db3839f20c141bdf6dfbe3c231cfc8f1993fb39d2da37bda3ab024caca79) }), `rho:id:m3xk7h8r54dtqtwsrnxqzhe81baswey66nzw6m533nyd45ptyoybqr` : (9223372036854775807, bundle+ { Unforgeable(0xa32c1649f1700469f125ea85f9c2a220072e593ae617213782d738e389639d3b) }), `rho:id:qrh6mgfp5z6orgchgszyxnuonanz7hw3amgrprqtciia6astt66ypn` : (9223372036854775807, bundle+ { Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d) })}]"
}
],
"consume" : {
"patterns" : "[[free0]]",
"continuation" : "@{Unforgeable(0xb54c91481848f76708aa180552f8c05a115750e29db5b84e9e31f64334c52988)}!((x-1).get(({`rho:lang:either` : `rho:id:qrh6mgfp5z6orgchgszyxnuonanz7hw3amgrprqtciia6astt66ypn`, `rho:lang:listOps` : `rho:id:6fzorimqngeedepkrizgiqms6zjt76zjeciktt1eifequy4osz35ks`, `rho:lang:nonNegativeNumber` : `rho:id:hxyadh1ffypra47ry9mk6b8r1i33ar1w9wjsez4khfe9huzrfcytx9`, `rho:lang:treeHashMap` : `rho:id:ikbchopju4jwc5rt9q37yabkm1zeu4qzhtqi9hoj3erwwcdcmub4tz`, `rho:rchain:authKey` : `rho:id:1qw5ehmq1x49dey4eadr1h4ncm361w3536asho7dr38iyookwcsp6i`, `rho:rchain:makeMint` : `rho:id:asysrwfgzf8bf7sxkiowp4b3tcsy4f8ombi3w96ysox4u3qdmn1wbc`, `rho:rchain:pos` : `rho:id:m3xk7h8r54dtqtwsrnxqzhe81baswey66nzw6m533nyd45ptyoybqr`, `rho:rchain:revVault` : `rho:id:6zcfqnwnaqcwpeyuysx1rm48ndr6sgsbbgjuwf45i5nor3io7dr76j`}).getOrElse(`rho:rchain:revVault`,`rho:rchain:revVault`)))",
"channels" : "[Unforgeable(0xbbbb9f6e7d89ca11eb7847e2d8e38297b74fcd59d443eb30d478b69df23ea995)]"
}
},
{
"type" : "rho-produce",
"data" : "[{`rho:id:1qw5ehmq1x49dey4eadr1h4ncm361w3536asho7dr38iyookwcsp6i` : (9223372036854775807, bundle+ { Unforgeable(0x741f6ee13b54ca29cd6e3340e24a781e8cc2739bc4ab5fd1650de54e11040955) }), `rho:id:6fzorimqngeedepkrizgiqms6zjt76zjeciktt1eifequy4osz35ks` : (9223372036854775807, bundle+ { Unforgeable(0x95fcdae5d4db7cf5aa0022bf6dba3f7c21b506fed8f3f4698a570d048ea758bd) }), `rho:id:6zcfqnwnaqcwpeyuysx1rm48ndr6sgsbbgjuwf45i5nor3io7dr76j` : (9223372036854775807, bundle+ { Unforgeable(0x263f45f2ca50669ef4011a57d3a10270c1250d52ed99f212a6332d8ffe57d3be) }), `rho:id:asysrwfgzf8bf7sxkiowp4b3tcsy4f8ombi3w96ysox4u3qdmn1wbc` : (9223372036854775807, bundle+ { Unforgeable(0x10d4824180800daef356857cffca4f51471960b92711df0fd3c3425401149e11) }), `rho:id:hxyadh1ffypra47ry9mk6b8r1i33ar1w9wjsez4khfe9huzrfcytx9` : (9223372036854775807, bundle+ { Unforgeable(0x61657f51076320deb7358dfcfc1f703be818ee08876c8b8efbfdf6e9d3020bcd) }), `rho:id:ikbchopju4jwc5rt9q37yabkm1zeu4qzhtqi9hoj3erwwcdcmub4tz` : (9223372036854775807, bundle+ { Unforgeable(0xaad5db3839f20c141bdf6dfbe3c231cfc8f1993fb39d2da37bda3ab024caca79) }), `rho:id:m3xk7h8r54dtqtwsrnxqzhe81baswey66nzw6m533nyd45ptyoybqr` : (9223372036854775807, bundle+ { Unforgeable(0xa32c1649f1700469f125ea85f9c2a220072e593ae617213782d738e389639d3b) }), `rho:id:qrh6mgfp5z6orgchgszyxnuonanz7hw3amgrprqtciia6astt66ypn` : (9223372036854775807, bundle+ { Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d) })}]",
"channel" : "Unforgeable(0xbbbb9f6e7d89ca11eb7847e2d8e38297b74fcd59d443eb30d478b69df23ea995)"
},
{
"channel" : "Unforgeable(0xb54c91481848f76708aa180552f8c05a115750e29db5b84e9e31f64334c52988)",
"data" : "[(9223372036854775807, bundle+ { Unforgeable(0x263f45f2ca50669ef4011a57d3a10270c1250d52ed99f212a6332d8ffe57d3be) })]",
"type" : "rho-produce"
},
{
"type" : "rho-comm",
"produces" : [
{
"channel" : "Unforgeable(0xb54c91481848f76708aa180552f8c05a115750e29db5b84e9e31f64334c52988)",
"data" : "[bundle+ { Unforgeable(0x263f45f2ca50669ef4011a57d3a10270c1250d52ed99f212a6332d8ffe57d3be) }]"
}
],
"consume" : {
"patterns" : "[[(_, free0)]]",
"channels" : "[Unforgeable(0xb54c91481848f76708aa180552f8c05a115750e29db5b84e9e31f64334c52988)]",
"continuation" : "@{bundle+ { Unforgeable(0x00) }}!(\"2.check_balance.rho\") |\nmatch \"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\" {\n x0 => {\n @{x-1}!(\"findOrCreate\", x0, Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)) |\n @{bundle+ { Unforgeable(0x00) }}!((\"Accessing vault at RevAddress\", x0)) |\n for( @{(true, x1)} <- @{Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)} ) {\n @{x1}!(\"balance\", Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)) |\n @{bundle+ { Unforgeable(0x00) }}!(\"Obtained vault, checking balance\") |\n for( @{x2} <- @{Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)} ) {\n @{bundle+ { Unforgeable(0x00) }}!((\"Balance is\", x2))\n }\n }\n }\n}"
}
},
{
"data" : "[\"2.check_balance.rho\"]",
"channel" : "Unforgeable(0x00)",
"type" : "rho-produce"
},
{
"consume" : {
"patterns" : "[[free0]]",
"continuation" : "ScalaBodyRef(0)",
"channels" : "[Unforgeable(0x00)]"
},
"produces" : [
{
"channel" : "Unforgeable(0x00)",
"data" : "[\"2.check_balance.rho\"]"
}
],
"type" : "rho-comm"
},
{
"data" : "[\"findOrCreate\";\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\";Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]",
"channel" : "Unforgeable(0x263f45f2ca50669ef4011a57d3a10270c1250d52ed99f212a6332d8ffe57d3be)",
"type" : "rho-produce"
},
{
"type" : "rho-produce",
"data" : "[(\"Accessing vault at RevAddress\", \"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\")]",
"channel" : "Unforgeable(0x00)"
},
{
"type" : "rho-consume",
"channels" : "[Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]",
"continuation" : "@{x-1}!(\"balance\", Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)) |\n@{bundle+ { Unforgeable(0x00) }}!(\"Obtained vault, checking balance\") |\nfor( @{x0} <- @{Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)} ) {\n @{bundle+ { Unforgeable(0x00) }}!((\"Balance is\", x0))\n}",
"patterns" : "[[(true, free0)]]"
},
{
"consume" : {
"patterns" : "[[free0]]",
"channels" : "[Unforgeable(0x00)]",
"continuation" : "ScalaBodyRef(0)"
},
"type" : "rho-comm",
"produces" : [
{
"channel" : "Unforgeable(0x00)",
"data" : "[(\"Accessing vault at RevAddress\", \"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\")]"
}
]
},
{
"produces" : [
{
"data" : "[\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\";Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]",
"channel" : "Unforgeable(0x263f45f2ca50669ef4011a57d3a10270c1250d52ed99f212a6332d8ffe57d3be)"
}
],
"type" : "rho-comm",
"consume" : {
"patterns" : "[[\"findOrCreate\";free0;free1]]",
"channels" : "[Unforgeable(0x263f45f2ca50669ef4011a57d3a10270c1250d52ed99f212a6332d8ffe57d3be)]",
"continuation" : "new x0 in {\n @{Unforgeable(0x7727a1aa6eb04dde295813b10362d78d99a83a3d1c267655c9aab1373694462f)}!(x-2, *x0, x-1) |\n for( @{x1} <- x0 ) {\n @{Unforgeable(0xe29fc7b0349439bb273c36a0f719607aa53858a246b788e2d0f248ce5a23c0ca)}!(x-2, 0, x1)\n }\n}"
}
},
{
"channels" : "[Unforgeable(0x56ca1ddd919a6ac4573e35f278c92776c6734bd600f87c6f194ea198536fe4a9)]",
"type" : "rho-consume",
"continuation" : "@{Unforgeable(0xe29fc7b0349439bb273c36a0f719607aa53858a246b788e2d0f248ce5a23c0ca)}!(\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\", 0, x-1)",
"patterns" : "[[free0]]"
},
{
"channel" : "Unforgeable(0x7727a1aa6eb04dde295813b10362d78d99a83a3d1c267655c9aab1373694462f)",
"data" : "[\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\";Unforgeable(0x56ca1ddd919a6ac4573e35f278c92776c6734bd600f87c6f194ea198536fe4a9);Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]",
"type" : "rho-produce"
},
{
"consume" : {
"continuation" : "new x0, x1, x2 in {\n @{bundle+ { Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d) }}!(\"flatMap <-\", *x1, *x2, x-1) |\n @{bundle+ { Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d) }}!(\"fromNillableError <-\", *x0, *x1) |\n @{bundle+ { Unforgeable(0x0c) }}!(\"validate\", x-3, *x0) |\n for( @{_}, @{x3} <- x2 ) {\n for( @{x4} <- @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)} ) {\n match (x4).get(x-3) {\n Nil => {\n new x5 in {\n @{x-2}!(*x5) |\n for( @{x6} <- x5 ) {\n @{x3}!(x6) |\n match x6 {\n (true, x7) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!((x4).set(x-3,x7))\n }\n (false, _) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x4)\n }\n }\n }\n }\n }\n x5 => {\n @{x3}!((true, x5)) |\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x4)\n }\n }\n }\n }\n}",
"channels" : "[Unforgeable(0x7727a1aa6eb04dde295813b10362d78d99a83a3d1c267655c9aab1373694462f)]",
"patterns" : "[[free0;free1;free2]]"
},
"type" : "rho-comm",
"produces" : [
{
"channel" : "Unforgeable(0x7727a1aa6eb04dde295813b10362d78d99a83a3d1c267655c9aab1373694462f)",
"data" : "[\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\";Unforgeable(0x56ca1ddd919a6ac4573e35f278c92776c6734bd600f87c6f194ea198536fe4a9);Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]"
}
]
},
{
"channel" : "Unforgeable(0x0c)",
"data" : "[\"validate\";\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\";Unforgeable(0xe36b605f17b91e3699cf8ec363ffe0f47e942963f6207dcbc2daea57d327753d)]",
"type" : "rho-produce"
},
{
"type" : "rho-produce",
"data" : "[\"flatMap <-\";Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b);Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0);Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]",
"channel" : "Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)"
},
{
"produces" : [
{
"channel" : "Unforgeable(0x0c)",
"data" : "[\"validate\";\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\";Unforgeable(0xe36b605f17b91e3699cf8ec363ffe0f47e942963f6207dcbc2daea57d327753d)]"
}
],
"type" : "rho-comm",
"consume" : {
"patterns" : "[[free0;free1;free2]]",
"channels" : "[Unforgeable(0x0c)]",
"continuation" : "ScalaBodyRef(13)"
}
},
{
"type" : "rho-produce",
"channel" : "Unforgeable(0xe36b605f17b91e3699cf8ec363ffe0f47e942963f6207dcbc2daea57d327753d)",
"data" : "[Nil]"
},
{
"type" : "rho-consume",
"channels" : "[Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0)]",
"continuation" : "for( @{x0} <- @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)} ) {\n match (x0).get(\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\") {\n Nil => {\n new x1 in {\n @{Unforgeable(0x56ca1ddd919a6ac4573e35f278c92776c6734bd600f87c6f194ea198536fe4a9)}!(*x1) |\n for( @{x2} <- x1 ) {\n @{x-1}!(x2) |\n match x2 {\n (true, x3) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!((x0).set(\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\",x3))\n }\n (false, _) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x0)\n }\n }\n }\n }\n }\n x1 => {\n @{x-1}!((true, x1)) |\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x0)\n }\n }\n}",
"patterns" : "[[_;free0]]"
},
{
"consume" : {
"patterns" : "[[\"flatMap <-\";free0;free1;free2]]",
"continuation" : "for( @{x0} <- @{x-3} ) {\n @{Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)}!(\"flatMap\", x0, x-2, x-1)\n}",
"channels" : "[Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)]"
},
"produces" : [
{
"channel" : "Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)",
"data" : "[Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b);Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0);Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]"
}
],
"type" : "rho-comm"
},
{
"type" : "rho-produce",
"data" : "[\"fromNillableError <-\";Unforgeable(0xe36b605f17b91e3699cf8ec363ffe0f47e942963f6207dcbc2daea57d327753d);Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b)]",
"channel" : "Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)"
},
{
"produces" : [
{
"channel" : "Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)",
"data" : "[Unforgeable(0xe36b605f17b91e3699cf8ec363ffe0f47e942963f6207dcbc2daea57d327753d);Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b)]"
}
],
"type" : "rho-comm",
"consume" : {
"patterns" : "[[\"fromNillableError <-\";free0;free1]]",
"continuation" : "for( @{x0} <- @{x-2} ) {\n @{Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)}!(\"fromNillableError\", x0, x-1)\n}",
"channels" : "[Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)]"
}
},
{
"channels" : "[Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b)]",
"type" : "rho-consume",
"continuation" : "@{Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)}!(\"flatMap\", x-1, Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0), Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1))",
"patterns" : "[[free0]]"
},
{
"patterns" : "[[free0]]",
"type" : "rho-consume",
"continuation" : "@{Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)}!(\"fromNillableError\", x-1, Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b))",
"channels" : "[Unforgeable(0xe36b605f17b91e3699cf8ec363ffe0f47e942963f6207dcbc2daea57d327753d)]"
},
{
"produces" : [
{
"data" : "[Nil]",
"channel" : "Unforgeable(0xe36b605f17b91e3699cf8ec363ffe0f47e942963f6207dcbc2daea57d327753d)"
}
],
"type" : "rho-comm",
"consume" : {
"channels" : "[Unforgeable(0xe36b605f17b91e3699cf8ec363ffe0f47e942963f6207dcbc2daea57d327753d)]",
"continuation" : "@{Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)}!(\"fromNillableError\", x-1, Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b))",
"patterns" : "[[free0]]"
}
},
{
"type" : "rho-produce",
"data" : "[\"fromNillableError\";Nil;Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b)]",
"channel" : "Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)"
},
{
"consume" : {
"patterns" : "[[\"fromNillableError\";free0;free1]]",
"channels" : "[Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)]",
"continuation" : "match x-2 {\n Nil => {\n @{x-1}!((true, Nil))\n }\n _ => {\n @{x-1}!((false, x-2))\n }\n}"
},
"type" : "rho-comm",
"produces" : [
{
"data" : "[Nil;Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b)]",
"channel" : "Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)"
}
]
},
{
"type" : "rho-produce",
"data" : "[(true, Nil)]",
"channel" : "Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b)"
},
{
"consume" : {
"patterns" : "[[free0]]",
"channels" : "[Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b)]",
"continuation" : "@{Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)}!(\"flatMap\", x-1, Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0), Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1))"
},
"type" : "rho-comm",
"produces" : [
{
"channel" : "Unforgeable(0x51b4156aa4420a5da21f4313a2aeb96ec8382c0b14c69cee10d0b9ee6ea6399b)",
"data" : "[(true, Nil)]"
}
]
},
{
"data" : "[\"flatMap\";(true, Nil);Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0);Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]",
"channel" : "Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)",
"type" : "rho-produce"
},
{
"consume" : {
"continuation" : "match x-3 {\n (true, x0) => {\n @{x-2}!(x0, x-1)\n }\n (false, _) => {\n @{x-1}!(x-3)\n }\n}",
"channels" : "[Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)]",
"patterns" : "[[\"flatMap\";free0;free1;free2]]"
},
"type" : "rho-comm",
"produces" : [
{
"channel" : "Unforgeable(0xcaad4e983dedd6c5ae42384b6d87ba6f77997cdf6bb75b8e5f3ffa2133e6b45d)",
"data" : "[(true, Nil);Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0);Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]"
}
]
},
{
"type" : "rho-produce",
"data" : "[Nil;Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]",
"channel" : "Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0)"
},
{
"type" : "rho-comm",
"produces" : [
{
"channel" : "Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0)",
"data" : "[Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]"
}
],
"consume" : {
"patterns" : "[[_;free0]]",
"continuation" : "for( @{x0} <- @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)} ) {\n match (x0).get(\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\") {\n Nil => {\n new x1 in {\n @{Unforgeable(0x56ca1ddd919a6ac4573e35f278c92776c6734bd600f87c6f194ea198536fe4a9)}!(*x1) |\n for( @{x2} <- x1 ) {\n @{x-1}!(x2) |\n match x2 {\n (true, x3) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!((x0).set(\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\",x3))\n }\n (false, _) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x0)\n }\n }\n }\n }\n }\n x1 => {\n @{x-1}!((true, x1)) |\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x0)\n }\n }\n}",
"channels" : "[Unforgeable(0x8956da37d173ce0bc76967158a20dc42a3f922e6092b6d3e2592f41cc9563be0)]"
}
},
{
"patterns" : "[[free0]]",
"continuation" : "match (x-1).get(\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\") {\n Nil => {\n new x0 in {\n @{Unforgeable(0x56ca1ddd919a6ac4573e35f278c92776c6734bd600f87c6f194ea198536fe4a9)}!(*x0) |\n for( @{x1} <- x0 ) {\n @{Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)}!(x1) |\n match x1 {\n (true, x2) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!((x-1).set(\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\",x2))\n }\n (false, _) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x-1)\n }\n }\n }\n }\n }\n x0 => {\n @{Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)}!((true, x0)) |\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x-1)\n }\n}",
"type" : "rho-consume",
"channels" : "[Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)]"
},
{
"consume" : {
"patterns" : "[[free0]]",
"channels" : "[Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)]",
"continuation" : "match (x-1).get(\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\") {\n Nil => {\n new x0 in {\n @{Unforgeable(0x56ca1ddd919a6ac4573e35f278c92776c6734bd600f87c6f194ea198536fe4a9)}!(*x0) |\n for( @{x1} <- x0 ) {\n @{Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)}!(x1) |\n match x1 {\n (true, x2) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!((x-1).set(\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\",x2))\n }\n (false, _) => {\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x-1)\n }\n }\n }\n }\n }\n x0 => {\n @{Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)}!((true, x0)) |\n @{Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)}!(x-1)\n }\n}"
},
"produces" : [
{
"data" : "[{\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\" : bundle+ { Unforgeable(0x44602c9fb7ccbffb23a977ab9f7ccc629099ab57cd67de524ffa569d357b4c22) }, \"11112LC3kDtagKEEXEBfHcAribkdXfaJ2As2Ganp3s635EvcYxpGYi\" : Unforgeable(0x316cc1bffdfb13b10e49d110a7c9ea9335ba412cc592765c22cd7951a3abb639), \"1111gW5kkGxHg7xDg6dRkZx2f7qxTizJzaCH9VEM1oJKWRvSX9Sk5\" : bundle+ { Unforgeable(0x4d9adc0c8e7120ccf53c969ab771311c4c42d8bf57f4415f4cd66b00e9b30cb5) }}]",
"channel" : "Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)"
}
],
"type" : "rho-comm"
},
{
"channel" : "Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)",
"data" : "[(true, bundle+ { Unforgeable(0x44602c9fb7ccbffb23a977ab9f7ccc629099ab57cd67de524ffa569d357b4c22) })]",
"type" : "rho-produce"
},
{
"produces" : [
{
"channel" : "Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)",
"data" : "[bundle+ { Unforgeable(0x44602c9fb7ccbffb23a977ab9f7ccc629099ab57cd67de524ffa569d357b4c22) }]"
}
],
"type" : "rho-comm",
"consume" : {
"continuation" : "@{x-1}!(\"balance\", Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)) |\n@{bundle+ { Unforgeable(0x00) }}!(\"Obtained vault, checking balance\") |\nfor( @{x0} <- @{Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)} ) {\n @{bundle+ { Unforgeable(0x00) }}!((\"Balance is\", x0))\n}",
"channels" : "[Unforgeable(0x6baae1927d590576865023d6bfbaca51732210004025fc5078b180ef0e0b9ad1)]",
"patterns" : "[[(true, free0)]]"
}
},
{
"type" : "rho-produce",
"data" : "[{\"1111245Ys2gmqKfp9vGmMBFND9tK9ngJVSxTCu79JgutGUVSLN5FrJ\" : bundle+ { Unforgeable(0x44602c9fb7ccbffb23a977ab9f7ccc629099ab57cd67de524ffa569d357b4c22) }, \"11112LC3kDtagKEEXEBfHcAribkdXfaJ2As2Ganp3s635EvcYxpGYi\" : Unforgeable(0x316cc1bffdfb13b10e49d110a7c9ea9335ba412cc592765c22cd7951a3abb639), \"1111gW5kkGxHg7xDg6dRkZx2f7qxTizJzaCH9VEM1oJKWRvSX9Sk5\" : bundle+ { Unforgeable(0x4d9adc0c8e7120ccf53c969ab771311c4c42d8bf57f4415f4cd66b00e9b30cb5) }}]",
"channel" : "Unforgeable(0x303726c681be9ba81ba15cf3418c4b0922b0d099ae41c696c976d5d948d9be6f)"
},
{
"channel" : "Unforgeable(0x00)",
"data" : "[\"Obtained vault, checking balance\"]",
"type" : "rho-produce"
},
{
"patterns" : "[[free0]]",
"continuation" : "@{bundle+ { Unforgeable(0x00) }}!((\"Balance is\", x-1))",
"type" : "rho-consume",
"channels" : "[Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)]"
},
{
"produces" : [
{
"channel" : "Unforgeable(0x00)",
"data" : "[\"Obtained vault, checking balance\"]"
}
],
"type" : "rho-comm",
"consume" : {
"channels" : "[Unforgeable(0x00)]",
"continuation" : "ScalaBodyRef(0)",
"patterns" : "[[free0]]"
}
},
{
"channel" : "Unforgeable(0x44602c9fb7ccbffb23a977ab9f7ccc629099ab57cd67de524ffa569d357b4c22)",
"data" : "[\"balance\";Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)]",
"type" : "rho-produce"
},
{
"consume" : {
"patterns" : "[[\"balance\";free0]]",
"channels" : "[Unforgeable(0x44602c9fb7ccbffb23a977ab9f7ccc629099ab57cd67de524ffa569d357b4c22)]",
"continuation" : "@{bundle+ { Unforgeable(0xaa215c90fc124d52a1fe2f48233c9bea99be76482124cd66715606de63a8d94f) }}!(\"getBalance\", x-1)"
},
"type" : "rho-comm",
"produces" : [
{
"data" : "[Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)]",
"channel" : "Unforgeable(0x44602c9fb7ccbffb23a977ab9f7ccc629099ab57cd67de524ffa569d357b4c22)"
}
]
},
{
"type" : "rho-produce",
"channel" : "Unforgeable(0xaa215c90fc124d52a1fe2f48233c9bea99be76482124cd66715606de63a8d94f)",
"data" : "[\"getBalance\";Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)]"
},
{
"type" : "rho-comm",
"produces" : [
{
"channel" : "Unforgeable(0xaa215c90fc124d52a1fe2f48233c9bea99be76482124cd66715606de63a8d94f)",
"data" : "[Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)]"
}
],
"consume" : {
"patterns" : "[[\"getBalance\";free0]]",
"channels" : "[Unforgeable(0xaa215c90fc124d52a1fe2f48233c9bea99be76482124cd66715606de63a8d94f)]",
"continuation" : "@{bundle+ { Unforgeable(0x6f18fd48e978827115e86b0a5e0b1030b554ba47eacea4957018f3d3b71b1691) }}!(\"value\", x-1)"
}
},
{
"type" : "rho-produce",
"channel" : "Unforgeable(0x6f18fd48e978827115e86b0a5e0b1030b554ba47eacea4957018f3d3b71b1691)",
"data" : "[\"value\";Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)]"
},
{
"consume" : {
"patterns" : "[[\"value\";free0]]",
"channels" : "[Unforgeable(0x6f18fd48e978827115e86b0a5e0b1030b554ba47eacea4957018f3d3b71b1691)]",
"continuation" : "for( @{x0} <- @{Unforgeable(0x187e19a07a52c45925c1f42da81d14fd660f17871e9c0cf762a67333d0592fc3)} ) {\n @{x-1}!(x0) |\n @{Unforgeable(0x187e19a07a52c45925c1f42da81d14fd660f17871e9c0cf762a67333d0592fc3)}!(x0)\n}"
},
"produces" : [
{
"data" : "[Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)]",
"channel" : "Unforgeable(0x6f18fd48e978827115e86b0a5e0b1030b554ba47eacea4957018f3d3b71b1691)"
}
],
"type" : "rho-comm"
},
{
"patterns" : "[[free0]]",
"type" : "rho-consume",
"continuation" : "@{Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)}!(x-1) |\n@{Unforgeable(0x187e19a07a52c45925c1f42da81d14fd660f17871e9c0cf762a67333d0592fc3)}!(x-1)",
"channels" : "[Unforgeable(0x187e19a07a52c45925c1f42da81d14fd660f17871e9c0cf762a67333d0592fc3)]"
},
{
"produces" : [
{
"channel" : "Unforgeable(0x187e19a07a52c45925c1f42da81d14fd660f17871e9c0cf762a67333d0592fc3)",
"data" : "[100]"
}
],
"type" : "rho-comm",
"consume" : {
"patterns" : "[[free0]]",
"continuation" : "@{Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)}!(x-1) |\n@{Unforgeable(0x187e19a07a52c45925c1f42da81d14fd660f17871e9c0cf762a67333d0592fc3)}!(x-1)",
"channels" : "[Unforgeable(0x187e19a07a52c45925c1f42da81d14fd660f17871e9c0cf762a67333d0592fc3)]"
}
},
{
"data" : "[100]",
"channel" : "Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)",
"type" : "rho-produce"
},
{
"type" : "rho-produce",
"channel" : "Unforgeable(0x187e19a07a52c45925c1f42da81d14fd660f17871e9c0cf762a67333d0592fc3)",
"data" : "[100]"
},
{
"consume" : {
"channels" : "[Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)]",
"continuation" : "@{bundle+ { Unforgeable(0x00) }}!((\"Balance is\", x-1))",
"patterns" : "[[free0]]"
},
"produces" : [
{
"channel" : "Unforgeable(0x4daf92c788914676dbbb2e1a4ee508b63b640888a5407edfb3b883f9abab7e00)",
"data" : "[100]"
}
],
"type" : "rho-comm"
},
{
"data" : "[(\"Balance is\", 100)]",
"channel" : "Unforgeable(0x00)",
"type" : "rho-produce"
},
{
"consume" : {
"continuation" : "ScalaBodyRef(0)",
"channels" : "[Unforgeable(0x00)]",
"patterns" : "[[free0]]"
},
"produces" : [
{
"channel" : "Unforgeable(0x00)",
"data" : "[(\"Balance is\", 100)]"
}
],
"type" : "rho-comm"
}
],
"deploy-hash" : "3045022100e4a0bda5cdb391fe770d3ec17336fc237aeb6d9c83a0a86265c85b14c090c0ad022075981d7c907903dbe39cff55e37125a8b50554611bda330b09977f9814302280"
}
],
"hash" : "3fd8ca23744350ed16ddc31898ca72af76a235b1a5a033c8024e6fa9406354f2"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment