From 24b0ab4b56a6bf4a4d33fada4c7e8148cf503fad Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=BD=20Kim=20Quy=C3=AAn?= Date: Mon, 19 Nov 2018 11:14:18 +0100 Subject: [PATCH] correct type of create_contract from contract unit to address; remove the parenthesis and add the parenthesis --- docs/whitedoc/michelson.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst index 685b3a1c0..dfedd2a23 100644 --- a/docs/whitedoc/michelson.rst +++ b/docs/whitedoc/michelson.rst @@ -1019,7 +1019,7 @@ Operations on maps :: :: (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 / { Elt k v ; } : S => body ; ITER body / (Pair k v) : { } : 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 stored and retrieved on the next transaction. These data are initialized 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 delegate, then spendable and delegatable flags and finally the initial 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 - -> operation : contract unit : 'S + -> operation : address : 'S Take as argument the manager, optional delegate, the delegatable flag and finally the initial amount taken from the currently executed