Project

General

Profile

« Previous | Next » 

Revision 75c459f4

Added by LĂ©lio Brun 9 months ago

start with Spec AST generation

View differences:

src/utils/utils.ml
32 32
  let equal n1 n2 = n1 = n2
33 33
end
34 34

  
35
module IMap = Map.Make(IdentModule)
35
module IMap = struct
36
  include Map.Make(IdentModule)
37
  let union_l m1 m2 =
38
    merge (fun _ o1 o2 -> match o1, o2 with
39
        | None, None -> None
40
        | Some _, _ -> o1
41
        | _, Some _ -> o2) m1 m2
42
end
43

  
36 44
module ISet = Set.Make(IdentModule)
37 45
module IdentDepGraph = Imperative.Digraph.ConcreteBidirectional (IdentModule)
38 46
module TopologicalDepGraph = Topological.Make(IdentDepGraph)

Also available in: Unified diff