Commit 4bfa1ea3 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update to the latest Monolith.

parent a7e49456
......@@ -36,9 +36,9 @@ module Settings = struct
Most tests are shallow anyway. *)
let capacity0, capacity1, capacity2 =
interval_ 2 16 (),
interval_ 2 4 (),
interval_ 2 4 ()
closed_interval 2 16 (),
closed_interval 2 4 (),
closed_interval 2 4 ()
let capacity depth =
match depth with
......@@ -63,7 +63,7 @@ module Settings = struct
immutable array. *)
let threshold =
interval_ 2 32 ()
closed_interval 2 32 ()
let () =
dprintf " let threshold = %d\n" threshold
......@@ -149,7 +149,7 @@ let default =
let side =
let generate = Gen.choose [C.front; C.back]
and print side = !^ (if side = C.front then "front" else "back") in
constructible_ generate print
easily_constructible generate print
(* -------------------------------------------------------------------------- *)
......@@ -158,7 +158,7 @@ let side =
let direction =
let generate = Gen.choose [C.forward; C.backward]
and print dir = !^ (if dir = C.forward then "forward" else "backward") in
constructible_ generate print
easily_constructible generate print
(* -------------------------------------------------------------------------- *)
......@@ -175,7 +175,7 @@ let element_array =
let generate = Gen.(array length next)
and print = Print.(array int) in
ifpol
(constructible_ generate print)
(easily_constructible generate print)
(deconstructible print)
(* -------------------------------------------------------------------------- *)
......@@ -212,7 +212,7 @@ let pdraw =
both included. *)
let itindex length it =
interval_ (-1) (length it)
closed_interval (-1) (length it)
let eitindex =
itindex R.E.Iter.length
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment