Skip to content
Permalink
Browse files

Fix error in DepositIncentive contract

  • Loading branch information...
palas committed Mar 15, 2019
1 parent e56f420 commit 7cca63b51dc8bb0530ccee6432560f0e0651dff0
Showing with 1 addition and 1 deletion.
  1. +1 −1 meadow-client/src/Marlowe/Contracts.purs
@@ -1,7 +1,7 @@
module Marlowe.Contracts where

depositIncentive :: String
depositIncentive = "Commit 1 1 1\n (Constant 100)\n 10 200\n (Commit 2 2 2\n (Constant 20)\n 20 200\n (When (ChoseSomething (1, 1))\n 100\n (Both (Pay 3 1 1 (Constant 100) 200 Null Null)\n (Pay 4 2 1 (Constant 20) 200 Null Null))\n (Both (Pay 5 1 1 (Constant 100) 200 Null Null)\n (Pay 6 2 2 (Constant 20) 200 Null Null)))\n (Pay 7 1 1 (Constant 100) 200 Null Null))\n Null"
depositIncentive = "Commit 1 1 1\n (Constant 100)\n 10 200\n (Commit 2 2 2\n (Constant 20)\n 20 200\n (When (ChoseSomething (1, 1))\n 100\n (Both (Pay 3 1 1 (Constant 100) 200 Null Null)\n (Pay 4 2 2 (Constant 20) 200 Null Null))\n (Both (Pay 5 1 1 (Constant 100) 200 Null Null)\n (Pay 6 2 1 (Constant 20) 200 Null Null)))\n (Pay 7 1 1 (Constant 100) 200 Null Null))\n Null"

crowdFunding :: String
crowdFunding = "Both (Both (Both (When (AndObs (PersonChoseSomething (IdentChoice 1) 1)\n (ValueGE (MoneyFromChoice (IdentChoice 1) 1\n (ConstMoney 0))\n (ConstMoney 1)))\n 10\n (CommitCash (IdentCC 1) 1\n (MoneyFromChoice (IdentChoice 1) 1\n (ConstMoney 0))\n 10 20 Null Null)\n Null)\n (When (AndObs (PersonChoseSomething (IdentChoice 2) 2)\n (ValueGE (MoneyFromChoice (IdentChoice 2) 2\n (ConstMoney 0))\n (ConstMoney 1)))\n 10\n (CommitCash (IdentCC 2) 2\n (MoneyFromChoice (IdentChoice 2) 2\n (ConstMoney 0))\n 10 20 Null Null)\n Null))\n (Both (When (AndObs (PersonChoseSomething (IdentChoice 3) 3)\n (ValueGE (MoneyFromChoice (IdentChoice 3) 3\n (ConstMoney 0))\n (ConstMoney 1)))\n 10\n (CommitCash (IdentCC 3) 3\n (MoneyFromChoice (IdentChoice 3) 3\n (ConstMoney 0))\n 10 20 Null Null)\n Null)\n (When (AndObs (PersonChoseSomething (IdentChoice 4) 4)\n (ValueGE (MoneyFromChoice (IdentChoice 4) 4\n (ConstMoney 0))\n (ConstMoney 1)))\n 10\n (CommitCash (IdentCC 4) 4\n (MoneyFromChoice (IdentChoice 4) 4\n (ConstMoney 0))\n 10 20 Null Null)\n Null)))\n (When FalseObs 10 Null\n (Choice (ValueGE (AddMoney (AddMoney (AvailableMoney (IdentCC 1))\n (AvailableMoney (IdentCC 2)))\n (AddMoney (AvailableMoney (IdentCC 3))\n (AvailableMoney (IdentCC 4))))\n (ConstMoney 1000))\n (Both (Both (Pay (IdentPay 1) 1 5\n (AvailableMoney (IdentCC 1))\n 20 Null)\n (Pay (IdentPay 2) 2 5\n (AvailableMoney (IdentCC 2))\n 20 Null))\n (Both (Pay (IdentPay 3) 3 5\n (AvailableMoney (IdentCC 3))\n 20 Null)\n (Pay (IdentPay 4) 4 5\n (AvailableMoney (IdentCC 4))\n 20 Null)))\n Null))\n"

0 comments on commit 7cca63b

Please sign in to comment.
You can’t perform that action at this time.