Project

General

Profile

« Previous | Next » 

Revision 5de4dde4

Added by Pierre-Loïc Garoche over 3 years ago

Major refreshing of machine 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)
36
    
35
module IMap =
36
  struct
37
    include Map.Make(IdentModule)
38
    let elements m =  fold (fun i n res -> (i, n)::res) m [] 
39
  end
40
  
37 41
module ISet = Set.Make(IdentModule)
38 42
module IdentDepGraph = Imperative.Digraph.ConcreteBidirectional (IdentModule)
39 43
module TopologicalDepGraph = Topological.Make(IdentDepGraph)

Also available in: Unified diff