Update sample data

Problem: sample data in appendix A doesn't contain `key_hash`, `bytes`
and `signature`, also `key` sample is wrong.
Solution: add correct examples of `bytes`, `key_hash`, `signature` and
`key`. They were checked using `tezos-client`.
parent 716ad403
......@@ -412,7 +412,7 @@ constructors.
1. Copy the contents of `helloTezos.tz` to a new file `helloWorld.tz`, and modify it to output `"Hello World!"` instead of `"Hello Tezos!"`.
2. Copy the contents of `helloTezos.tz` to a new file `helloInput.tz`, and modify it to take a string argument as input and output
`"Hello <input>".`.
You will need to know two additional operations to do this:
```
......@@ -473,27 +473,30 @@ constructors.
Outer single quotes only required for passing literals through the command line.
(adapted from `https://www.michelson-lang.com/contract-a-day.html`)
| Type | Data |
|--------------------------|-------------------------------------------|
| `unit` | `Unit` |
| `nat` | `12312321` |
| `int` | `12312321` |
| `int` | `'(-12223)'` |
| `string` | `'"hello"'` |
| `string` | `"\"hello\""` |
| `bool` | `True` |
| `bool` | `False` |
| `timestamp` | `10000` |
| `timestamp` | `'"2017-08-14T18:00:21Z"'` |
| `tez` | `'"100.00"'` |
| `(lambda unit unit)` | `{}` |
| `(lambda string string)` | `{PUSH string "hello"; CONCAT}` |
| `key` | `"tz1faswCTDciRzE4oJ9jn2Vm2dvjeyA9fUzU"'` |
| `(contract unit unit)` | `"tz1faswCTDciRzE4oJ9jn2Vm2dvjeyA9fUzU"'` |
| `(map nat bool)` | `(Map (Item 100 False) (Item 90 True))'` |
| `(set nat)` | `(Set 1 2 3 4')` |
| `(list int)` | `(List 1 -123 12312)` |
| `(option bool)` | `(Some False)` |
| `(option bool)` | `None` |
| `(or nat bool)` | `'(Left 100)'` |
| `(or nat bool)` | `'(Right False)'` |
| Type | Data |
|--------------------------|-------------------------------------------------------------|
| `unit` | `Unit` |
| `nat` | `12312321` |
| `int` | `12312321` |
| `int` | `'(-12223)'` |
| `string` | `'"hello"'` |
| `string` | `"\"hello\""` |
| `bool` | `True` |
| `bool` | `False` |
| `timestamp` | `10000` |
| `timestamp` | `'"2017-08-14T18:00:21Z"'` |
| `tez` | `'"100.00"'` |
| `(lambda unit unit)` | `{}` |
| `(lambda string string)` | `{PUSH string "hello"; CONCAT}` |
| `bytes` | `0x0001` |
| `key` | `"edpktieBMrR9Df3dqzZAJpDZBXb1h188fyrQyRJcm5RH2WpbvMVR8b"'` |
| `signature` | `"edsigtrs8bK7vNfiR4Kd9dWasVa1bAWaQSu2ipnmLGZuwQa8ktCEMYVKqbWsbJ7zTS8dgYT9tiSUKorWCPFHosL5zPsiDwBQ6vb"` |
| `key_hash` | `"tz1faswCTDciRzE4oJ9jn2Vm2dvjeyA9fUzU"'` |
| `(contract unit unit)` | `"tz1faswCTDciRzE4oJ9jn2Vm2dvjeyA9fUzU"'` |
| `(map nat bool)` | `(Map (Item 100 False) (Item 90 True))'` |
| `(set nat)` | `(Set 1 2 3 4')` |
| `(list int)` | `(List 1 -123 12312)` |
| `(option bool)` | `(Some False)` |
| `(option bool)` | `None` |
| `(or nat bool)` | `'(Left 100)'` |
| `(or nat bool)` | `'(Right False)'` |
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment