Project

General

Profile

« Previous | Next » 

Revision 75c459f4

Added by Lélio Brun about 2 years 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