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

Docs: fix minor errors in Michelson documentation

Browse Source
This commit is contained in:
Raphael Cauderlier 2018-09-17 18:46:49 +02:00 committed by Grégoire Henry
parent 66e78f4811
commit bf75c86e0a
No known key found for this signature in database
GPG Key ID: 50D984F20BD445D2
1 changed files with 29 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
docs/whitedoc/michelson.rst
View File

@ -400,6 +400,14 @@ Control structures
> FAILWITH / a : _ => [FAILED] > FAILWITH / a : _ => [FAILED]
> _ / [FAILED] => [FAILED] > _ / [FAILED] => [FAILED]
- ``{}``: Empty sequence.
::
:: 'A -> 'A
> {} / SA => SA
- ``{ I ; C }``: Sequence. - ``{ I ; C }``: Sequence.
:: ::
@ -1399,7 +1407,7 @@ contract, unit for an account.
:: ::
:: address : 'S -> contract 'p : 'S :: address : 'S -> option (contract 'p) : 'S
> CONTRACT / addr : S => Some addr : S > CONTRACT / addr : S => Some addr : S
iff addr exists and is a contract of parameter type 'p iff addr exists and is a contract of parameter type 'p
@ -1511,7 +1519,9 @@ the wild and untyped outside world.
- ``SLICE``: Bytes access. - ``SLICE``: Bytes access.
:: nat : nat : bytes : 'S -> option string : 'S ::
:: nat : nat : bytes : 'S -> option bytes : 'S
> SLICE / offset : length : s : S => Some ss : S > SLICE / offset : length : s : S => Some ss : S
where ss is the substring of s at the given offset and of the given length where ss is the substring of s at the given offset and of the given length
@ -2013,7 +2023,7 @@ type on top.
PAIR :t PAIR :t
:: 'a : 'b : 'S -> (pair :t 'a 'b) : 'S :: 'a : 'b : 'S -> (pair :t 'a 'b) : 'S
SOME t: SOME :t
:: 'a : 'S -> (option :t 'a) : 'S :: 'a : 'S -> (option :t 'a) : 'S
NONE :t 'a NONE :t 'a
@ -2966,10 +2976,12 @@ XII - Full grammar
| LEFT <type> | LEFT <type>
| RIGHT <type> | RIGHT <type>
| IF_LEFT { <instruction> ... } { <instruction> ... } | IF_LEFT { <instruction> ... } { <instruction> ... }
| IF_RIGHT { <instruction> ... } { <instruction> ... }
| NIL <type> | NIL <type>
| CONS | CONS
| IF_CONS { <instruction> ... } { <instruction> ... } | IF_CONS { <instruction> ... } { <instruction> ... }
| EMPTY_SET <type> | SIZE
| EMPTY_SET <comparable type>
| EMPTY_MAP <comparable type> <type> | EMPTY_MAP <comparable type> <type>
| MAP { <instruction> ... } | MAP { <instruction> ... }
| ITER { <instruction> ... } | ITER { <instruction> ... }
@ -2982,17 +2994,19 @@ XII - Full grammar
| LAMBDA <type> <type> { <instruction> ... } | LAMBDA <type> <type> { <instruction> ... }
| EXEC | EXEC
| DIP { <instruction> ... } | DIP { <instruction> ... }
| FAILWITH | FAILWITH <data>
| CAST | CAST
| RENAME | RENAME
| CONCAT | CONCAT
| SLICE
| PACK
| UNPACK
| ADD | ADD
| SUB | SUB
| MUL | MUL
| DIV | EDIV
| ABS | ABS
| NEG | NEG
| MOD
| LSL | LSL
| LSR | LSR
| OR | OR
@ -3006,22 +3020,26 @@ XII - Full grammar
| GT | GT
| LE | LE
| GE | GE
| INT
| SELF | SELF
| CONTRACT <type>
| TRANSFER_TOKENS | TRANSFER_TOKENS
| SET_DELEGATE | SET_DELEGATE
| CREATE_ACCOUNT | CREATE_ACCOUNT
| CREATE_CONTRACT | CREATE_CONTRACT
| CREATE_CONTRACT { <instruction> ... }
| IMPLICIT_ACCOUNT | IMPLICIT_ACCOUNT
| NOW | NOW
| AMOUNT | AMOUNT
| BALANCE | BALANCE
| CHECK_SIGNATURE | CHECK_SIGNATURE
| BLAKE2B | BLAKE2B
| SHA256
| SHA512
| HASH_KEY | HASH_KEY
| STEPS_TO_QUOTA | STEPS_TO_QUOTA
| SOURCE | SOURCE
| SENDER | SENDER
| ADDRESS
<type> ::= <type> ::=
| <comparable type> | <comparable type>
| key | key
@ -3031,6 +3049,7 @@ XII - Full grammar
| list <type> | list <type>
| set <comparable type> | set <comparable type>
| operation | operation
| address
| contract <type> | contract <type>
| pair <type> <type> | pair <type> <type>
| or <type> <type> | or <type> <type>
@ -3041,7 +3060,8 @@ XII - Full grammar
| int | int
| nat | nat
| string | string
| tez | bytes
| mutez
| bool | bool
| key_hash | key_hash
| timestamp | timestamp