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

correct type of create_contract from contract unit to address; remove the parenthesis and add the parenthesis

Browse Source
This commit is contained in:
Lý Kim Quyên 2018-11-19 11:14:18 +01:00 committed by Benjamin Canou
parent 991b39a2b5
commit 24b0ab4b56
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/whitedoc/michelson.rst
View File

@ -1019,7 +1019,7 @@ Operations on maps
:: ::
:: (map 'elt 'val) : 'A -> 'A :: (map 'elt 'val) : 'A -> 'A
iff body :: [ (pair 'elt 'val) : 'A -> 'A ] iff body :: [ (pair 'elt 'val : 'A) -> 'A ]
> ITER body / {} : S => S > ITER body / {} : S => S
> ITER body / { Elt k v ; <tl> } : S => body ; ITER body / (Pair k v) : { <tl> } : S > ITER body / { Elt k v ; <tl> } : S => body ; ITER body / (Pair k v) : { <tl> } : S
@ -1344,7 +1344,7 @@ argument the transferred amount plus an ad-hoc argument and returns an
ad-hoc value. The code also takes the global data and returns it to be ad-hoc value. The code also takes the global data and returns it to be
stored and retrieved on the next transaction. These data are initialized stored and retrieved on the next transaction. These data are initialized
by another parameter. The calling convention for the code is as follows: by another parameter. The calling convention for the code is as follows:
``(Pair arg globals)) -> (Pair operations globals)``, as extrapolated from ``(Pair arg globals) -> (Pair operations globals)``, as extrapolated from
the instruction type. The first parameters are the manager, optional the instruction type. The first parameters are the manager, optional
delegate, then spendable and delegatable flags and finally the initial delegate, then spendable and delegatable flags and finally the initial
amount taken from the currently executed contract. The contract is amount taken from the currently executed contract. The contract is
@ -1370,7 +1370,7 @@ currently executed contract.
:: ::
:: key_hash : option key_hash : bool : mutez : 'S :: key_hash : option key_hash : bool : mutez : 'S
-> operation : contract unit : 'S -> operation : address : 'S
Take as argument the manager, optional delegate, the delegatable flag Take as argument the manager, optional delegate, the delegatable flag
and finally the initial amount taken from the currently executed and finally the initial amount taken from the currently executed