Project

General

Profile

« Previous | Next » 

Revision 61df3cb9

Added by Pierre-Loïc Garoche about 4 years ago

Reformating plugin signatures. Better report management

View differences:

src/plugins.ml
8 8 
    List.map Options_management.plugin_opt (
9 9 
      List.map (fun m ->
10 10 
	let module M = (val m : PluginType.PluginType) in
11 
	(M.name, M.activate, M.options)
11 
	(M.name, M.activate, M.usage, M.options)
12 12 
      ) plugins
13 13 
    ))
14 

  		




  
  15
  
    
let init () =


  		




  
  16
  
    
  List.iter (fun m ->


  		




  
  17
  
    
      let module M = (val m : PluginType.PluginType) in


  		




  
  18
  
    
      M.init ()


  		




  
  19
  
    
    ) plugins


  		




  14
  20
  
    
  


  		




  15
  21
  
    
let check_force_stateful () =


  		




  16
  22
  
    
  List.exists (fun m ->


  		












Also available in:  Unified diff