From 64c05ebde9cf9e9c400bbb2c7ea610e6c1a8565a Mon Sep 17 00:00:00 2001 From: Julien Signoles Date: Thu, 22 Jan 2015 16:13:22 +0100 Subject: [PATCH] fixed 'make check' --- tests/check.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tests/check.ml b/tests/check.ml index 4d6f862e..03bf7b7b 100644 --- a/tests/check.ml +++ b/tests/check.ml @@ -34,10 +34,10 @@ module Pair = struct let default = 0, 0 end -module W = struct - type label = int +module W(E:sig type t type label val label: t -> label end) = struct + type edge = E.t type t = int - let weight x = x + let weight = E.label let zero = 0 let add = (+) let compare = compare @@ -323,8 +323,8 @@ end module Dijkstra = struct module TestDijkstra - (G : Sig.G with type V.label = int and type E.label = int) - (B : Builder.S with module G = G) = + (G: Sig.G with type V.label = int and type E.label = int) + (B: Builder.S with module G = G) = struct let g = B.empty () @@ -347,7 +347,7 @@ module Dijkstra = struct let g = B.add_edge_e g (G.E.create v4 20 v3) let g = B.add_edge_e g (G.E.create v4 60 v5) - module Dij = Path.Dijkstra(G)(W) + module Dij = Path.Dijkstra(G)(W(G.E)) module Dfs = Traverse.Dfs(G) let test g i j w l =