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

Makefile: praise the return of utop.

Browse Source 
The Makefile is really hackish...
This commit is contained in:
Grégoire Henry 2017-02-24 17:10:19 +01:00
parent d0e9d0d584
commit 300dd5ea6d
2 changed files with 10 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/node/updater/protocol.ml
View File

@ -13,21 +13,21 @@
by length and then by contents lexicographically. *) by length and then by contents lexicographically. *)
type fitness = Fitness.fitness type fitness = Fitness.fitness
type net_id = Store.net_id = Net of Block_hash.t module Net_id = Store.Net_id
(** The version agnostic toplevel structure of operations. *) (** The version agnostic toplevel structure of operations. *)
type shell_operation = Store.shell_operation = { type shell_operation = Store.Operation.shell_header = {
net_id: net_id ; net_id: Net_id.t ;
} }
type raw_operation = Store.operation = { type raw_operation = Store.Operation.t = {
shell: shell_operation ; shell: shell_operation ;
proto: MBytes.t ; proto: MBytes.t ;
} }
(** The version agnostic toplevel structure of blocks. *) (** The version agnostic toplevel structure of blocks. *)
type shell_block = Store.shell_block = type shell_block = Store.Block_header.shell_header =
{ net_id: net_id ; { net_id: Net_id.t ;
(** The genesis of the chain this block belongs to. *) (** The genesis of the chain this block belongs to. *)
predecessor: Block_hash.t ; predecessor: Block_hash.t ;
(** The preceding block in the chain. *) (** The preceding block in the chain. *)
@ -41,7 +41,7 @@ type shell_block = Store.shell_block =
(** The sequence of operations. *) (** The sequence of operations. *)
} }
type raw_block = Store.block = { type raw_block = Store.Block_header.t = {
shell: shell_block ; shell: shell_block ;
proto: MBytes.t ; proto: MBytes.t ;
} }
@ -51,14 +51,14 @@ type raw_block = Store.block = {
type 'error preapply_result = type 'error preapply_result =
{ applied: Operation_hash.t list; { applied: Operation_hash.t list;
(** Operations that where successfully applied. *) (** Operations that where successfully applied. *)
refused: 'error list Operation_hash_map.t; refused: 'error list Operation_hash.Map.t;
(** Operations which triggered a context independent, unavoidable (** Operations which triggered a context independent, unavoidable
error (e.g. invalid signature). *) error (e.g. invalid signature). *)
branch_refused: 'error list Operation_hash_map.t; branch_refused: 'error list Operation_hash.Map.t;
(** Operations which triggered an error that might not arise in a (** Operations which triggered an error that might not arise in a
different context (e.g. past account counter, insufficent different context (e.g. past account counter, insufficent
balance). *) balance). *)
branch_delayed: 'error list Operation_hash_map.t; branch_delayed: 'error list Operation_hash.Map.t;
(** Operations which triggered an error that might not arise in a (** Operations which triggered an error that might not arise in a
future update of this context (e.g. futur account counter). *) } future update of this context (e.g. futur account counter). *) }

2
src/utils/base58.ml
View File

@ -233,8 +233,6 @@ module MakeResolvers(R: sig
(resolver : R.context -> string -> a list Lwt.t) = (resolver : R.context -> string -> a list Lwt.t) =
resolvers := Resolver { encoding ; resolver } :: !resolvers resolvers := Resolver { encoding ; resolver } :: !resolvers
type context = R.context
let partial_decode ?(alphabet=Alphabet.default) request len = let partial_decode ?(alphabet=Alphabet.default) request len =
let zero = alphabet.encode.[0] in let zero = alphabet.encode.[0] in
let last = alphabet.encode.[base-1] in let last = alphabet.encode.[base-1] in