balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Michelson (docs): fixed reservoir example.

Browse Source
This commit is contained in:
Benjamin Canou 2017-01-16 22:35:43 +01:00 committed by Benjamin Canou
parent 3a149af667
commit 5e06b9c719
1 changed files with 26 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
src/proto/bootstrap/docs/language.md
View File

@ -1400,21 +1400,33 @@ writen as
pair timestamp tez
pair (contract unit unit) (contract unit unit)
its code is
The complete source `reservoir.tz` is:
DUP ; CDAAR # T
NOW
COMPARE ; LE
IF { DUP ; CDADR # N
BALANCE
COMPARE ; LE
IF { } # nothing to do
{ DUP ; CDDDR # B
BALANCE ; UNIT ; TRANSFER_TOKENS ; DROP } }
parameter timestamp ;
storage
pair
(pair timestamp tez) # T N
(pair (contract unit unit) (contract unit unit)) ; # A B
return unit ;
code
{ DUP ; CDAAR ; # T
NOW ;
COMPARE ; LE ;
IF { DUP ; CDADR ; # N
BALANCE ;
COMPARE ; LE ;
IF { CDR ; UNIT ; PAIR }
{ DUP ; CDDDR ; # B
BALANCE ; UNIT ;
DIIIP { CDR } ;
TRANSFER_TOKENS ;
PAIR } }
{ DUP ; CDDAR ; # A
BALANCE ;
UNIT ; TRANSFER_TOKENS ; DROP }
CDR ; UNIT ; PAIR
UNIT ;
DIIIP { CDR } ;
TRANSFER_TOKENS ;
PAIR } }
### Reservoir contract (variant with broker and status)