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

Environemt: add equality for Z.t

Browse Source
This commit is contained in:
Benjamin Canou 2018-03-28 20:24:50 +02:00
parent 636fecb6ff
commit 441149880c
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/lib_protocol_environment/tezos_protocol_environment.ml
View File

@ -141,6 +141,7 @@ module Make (Context : CONTEXT) = struct
and type RPC_service.meth = RPC_service.meth and type RPC_service.meth = RPC_service.meth
and type (+'m,'pr,'p,'q,'i,'o) RPC_service.t = ('m,'pr,'p,'q,'i,'o) RPC_service.t and type (+'m,'pr,'p,'q,'i,'o) RPC_service.t = ('m,'pr,'p,'q,'i,'o) RPC_service.t
and type Error_monad.shell_error = Error_monad.error and type Error_monad.shell_error = Error_monad.error
and type Z.t = Z.t
type error += Ecoproto_error of Error_monad.error type error += Ecoproto_error of Error_monad.error
val wrap_error : 'a Error_monad.tzresult -> 'a tzresult val wrap_error : 'a Error_monad.tzresult -> 'a tzresult

1
src/lib_protocol_environment/tezos_protocol_environment.mli
View File

@ -134,6 +134,7 @@ module Make (Context : CONTEXT) : sig
and type RPC_service.meth = RPC_service.meth and type RPC_service.meth = RPC_service.meth
and type (+'m,'pr,'p,'q,'i,'o) RPC_service.t = ('m,'pr,'p,'q,'i,'o) RPC_service.t and type (+'m,'pr,'p,'q,'i,'o) RPC_service.t = ('m,'pr,'p,'q,'i,'o) RPC_service.t
and type Error_monad.shell_error = Error_monad.error and type Error_monad.shell_error = Error_monad.error
and type Z.t = Z.t
type error += Ecoproto_error of Error_monad.error type error += Ecoproto_error of Error_monad.error
val wrap_error : 'a Error_monad.tzresult -> 'a tzresult val wrap_error : 'a Error_monad.tzresult -> 'a tzresult