From d649975494c198de8eefb29fafd519b4ffb4bb55 Mon Sep 17 00:00:00 2001 From: Ivan Gromakovskii Date: Tue, 29 Jan 2019 13:15:01 +0300 Subject: [PATCH] Fix some typos in the Michelson specification 1. `MEM` operates on a value and a set, so `v` is there by mistake. 2. Description of `SET_CDR` was copy-pasted from description of `SET_CAR`. 3. It's not clear where that `p` comes from, seems to be copy-pasted by mistake. --- 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 d0a7762f4..c49180e3d 100644 --- a/docs/whitedoc/michelson.rst +++ b/docs/whitedoc/michelson.rst @@ -886,7 +886,7 @@ Operations on sets > MEM / x : {} : S => false : S > MEM / x : { hd ; } : S => r : S iff COMPARE / x : hd : [] => 1 : [] - where MEM / x : v : { } : S => r : S + where MEM / x : { } : S => r : S > MEM / x : { hd ; } : S => true : S iff COMPARE / x : hd : [] => 0 : [] > MEM / x : { hd ; } : S => false : S @@ -1773,7 +1773,7 @@ A typing rule can be inferred: > SET_CAR => CDR ; SWAP ; PAIR -- ``SET_CDR``: Set the first value of a pair. +- ``SET_CDR``: Set the second value of a pair. :: @@ -2393,7 +2393,7 @@ variable annotation corresponding to the field annotation alone. :: CDAR - :: (pair ('a %foo) (pair %bar ('b %x) ('c %y))) : 'S -> @p.bar.x 'b : 'S + :: (pair ('a %foo) (pair %bar ('b %x) ('c %y))) : 'S -> @bar.x 'b : 'S A similar mechanism is used for context dependent instructions: