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

Alpha: more intuitive Misc.(-->)

Browse Source
This commit is contained in:
Grégoire Henry 2018-02-23 13:43:29 -05:00 committed by Benjamin Canou
parent e42cd1ccd6
commit 672109de54
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proto_alpha/lib_protocol/src/baking.ml
View File

@ -169,7 +169,7 @@ let check_endorsements_rights c level slots =
return delegate return delegate
let paying_priorities c = let paying_priorities c =
0 --> Constants.first_free_baking_slot c 0 --> (Constants.first_free_baking_slot c - 1)
let bond_and_reward = let bond_and_reward =
match Tez.(Constants.baking_bond_cost +? Constants.baking_reward) with match Tez.(Constants.baking_bond_cost +? Constants.baking_reward) with

8
src/proto_alpha/lib_protocol/src/misc.ml
View File

@ -11,13 +11,13 @@ type 'a lazyt = unit -> 'a
type 'a lazy_list_t = LCons of 'a * ('a lazy_list_t tzresult Lwt.t lazyt) type 'a lazy_list_t = LCons of 'a * ('a lazy_list_t tzresult Lwt.t lazyt)
type 'a lazy_list = 'a lazy_list_t tzresult Lwt.t type 'a lazy_list = 'a lazy_list_t tzresult Lwt.t
let rec (-->) i j = (* [i; i+1; ...; j-1] *) let rec (-->) i j = (* [i; i+1; ...; j] *)
if Compare.Int.(i >= j) if Compare.Int.(i > j)
then [] then []
else i :: (succ i --> j) else i :: (succ i --> j)
let rec (--->) i j = (* [i; i+1; ...; j-1] *) let rec (--->) i j = (* [i; i+1; ...; j] *)
if Compare.Int32.(i >= j) if Compare.Int32.(i > j)
then [] then []
else i :: (Int32.succ i ---> j) else i :: (Int32.succ i ---> j)

2
src/proto_alpha/lib_protocol/src/misc.mli
View File

@ -13,7 +13,7 @@ type 'a lazyt = unit -> 'a
type 'a lazy_list_t = LCons of 'a * ('a lazy_list_t tzresult Lwt.t lazyt) type 'a lazy_list_t = LCons of 'a * ('a lazy_list_t tzresult Lwt.t lazyt)
type 'a lazy_list = 'a lazy_list_t tzresult Lwt.t type 'a lazy_list = 'a lazy_list_t tzresult Lwt.t
(** Include lower bound, exclude upper bound *) (** Include bounds *)
val (-->) : int -> int -> int list val (-->) : int -> int -> int list
val (--->) : Int32.t -> Int32.t -> Int32.t list val (--->) : Int32.t -> Int32.t -> Int32.t list