Supply Chain Integrity, Transparency, and Trust (IETF SCITT)
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

irmin: drop phantom 'b from Heap.t, consolidate test suite

Heap.t: ('h, 'v, 'b) t → ('h, 'v) t. The phantom 'b parameter
served no purpose — layer, recording, and of_list produce heaps
with no meaningful backend tag. The record-of-closures is the
correct representation for this case (composable heaps can't be
expressed as a single BACKEND module).

Tests: move schema and tar tests from irmin/test/{schema,tar}/
into irmin/test/test_{schema,tar}.ml. All 19 tests now run from
a single `dune exec irmin/test/test.exe`.

+2 -2
+1 -1
lib/atp/scitt_atp.ml
··· 59 59 let repo_schema = S.fix (fun _self -> mst_node [ "*" => S.opaque ]) 60 60 61 61 module type Config = sig 62 - val heap : (Atp.Cid.t, string, unit) Irmin.Heap.t 62 + val heap : (Atp.Cid.t, string) Irmin.Heap.t 63 63 val now : unit -> float 64 64 end 65 65
+1 -1
lib/atp/scitt_atp.mli
··· 16 16 17 17 (** Configuration for the MST backend. *) 18 18 module type Config = sig 19 - val heap : (Atp.Cid.t, string, unit) Irmin.Heap.t 19 + val heap : (Atp.Cid.t, string) Irmin.Heap.t 20 20 (** The heap. *) 21 21 22 22 val now : unit -> float