Skip to content

Commit

Permalink
Fix merkle_ledger_tests
Browse files Browse the repository at this point in the history
  • Loading branch information
georgeee committed Nov 28, 2023
1 parent 9aa0729 commit d39a07c
Showing 1 changed file with 11 additions and 6 deletions.
17 changes: 11 additions & 6 deletions src/lib/merkle_ledger_tests/test_mask.ml
Original file line number Diff line number Diff line change
Expand Up @@ -716,13 +716,18 @@ module Make_maskable_and_mask_with_depth (Depth : Depth_S) = struct
and type hash := Hash.t
and type unattached_mask := Mask.t
and type attached_mask := Mask.Attached.t
and type t := Base.t = Merkle_mask.Maskable_merkle_tree.Make (struct
include Inputs
module Base = Base
module Mask = Mask
and type accumulated_t = Mask.accumulated_t
and type t := Base.t = struct
type accumulated_t = Mask.accumulated_t

let mask_to_base m = Any_base.cast (module Mask.Attached) m
end)
include Merkle_mask.Maskable_merkle_tree.Make (struct
include Inputs
module Base = Base
module Mask = Mask

let mask_to_base m = Any_base.cast (module Mask.Attached) m
end)
end

(* test runner *)
let with_instances f =
Expand Down

0 comments on commit d39a07c

Please sign in to comment.