Alpha: change documented field labels to underscores in json field names

This commit is contained in:
dbornside 2018-07-14 19:01:13 -04:00 committed by Grégoire Henry
parent ea5992d030
commit 41b98dac63
2 changed files with 4 additions and 4 deletions

View File

@ -7633,8 +7633,8 @@ Protocol Alpha
<pre>
{ "type_map":
[ { "location": $micheline.location,
"stackBefore": [ $micheline.michelson_v1.expression ... ],
"stackAfter": [ $micheline.michelson_v1.expression ... ] } ... ],
"stack_before": [ $micheline.michelson_v1.expression ... ],
"stack_after": [ $micheline.michelson_v1.expression ... ] } ... ],
"gas": $bignum || "unaccounted" }
$bignum:
/* Big number

View File

@ -37,8 +37,8 @@ let type_map_enc =
(fun (loc, bef, aft) -> (loc, (bef, aft)))
(obj3
(req "location" Script.location_encoding)
(req "stackBefore" stack_enc)
(req "stackAfter" stack_enc)))
(req "stack_before" stack_enc)
(req "stack_after" stack_enc)))
let stack_ty_enc =
let open Data_encoding in